Statistics — Formal Conjectures

Repository growth

The number of Lean files in Formal Conjectures over time.

Subject × status

Each row is an AMS MSC2020 subject; each column is a problem category. Cells link into the browse page filtered by both subject and category. A theorem tagged with multiple AMS subjects contributes to every relevant row, so row totals can exceed the repository total.

Subject	Open	Solved	Textbook	Test	API	Formal	Total
Number theory	980	867	115	1351	112	258	3425
Combinatorics	375	592	46	257	122	135	1392
Convex and discrete geometry	45	108	3	17	1	25	174
Quantum theory	68	25	0	28	52	13	173
Linear and multilinear algebra; matrix theory	49	24	1	34	52	5	160
Information and communication, circuits	28	19	0	11	52	4	110
Geometry	31	38	5	18	4	11	96
Algebraic geometry	48	25	1	10	7	9	91
Functions of a complex variable	15	54	1	2	5	12	77
Group theory and generalizations	24	24	1	12	8	2	69
Field theory and polynomials	19	33	4	3	4	3	63
Mathematical logic and foundations	10	26	6	7	2	2	51
Operator theory	19	6	0	17	1	0	43
Special functions	32	9	0	0	0	0	41
General topology	14	5	7	10	3	1	39
Harmonic analysis on Euclidean spaces	13	23	1	2	0	13	39
Measure and integration	7	22	3	5	1	8	38
Real functions	13	17	1	3	0	7	34
Computer science	12	5	3	6	5	1	31
Sequences, series, summability	10	17	0	4	0	14	31
Probability theory and stochastic processes	9	8	2	8	2	4	29
Dynamical systems and ergodic theory	11	1	1	4	5	0	22
Order, lattices, ordered algebraic structures	3	2	3	9	5	1	22
Partial differential equations	10	4	0	0	5	0	19
Manifolds and cell complexes	5	5	5	0	0	0	15
Functional analysis	10	5	0	0	0	0	15
Associative rings and algebras	7	7	0	0	1	1	15
Commutative algebra	3	7	2	0	0	1	12
Topological groups, Lie groups	4	4	0	0	2	0	10
Mechanics of particles and systems	1	0	0	6	0	0	7
Calculus of variations and optimal control; optimization	1	2	1	2	0	0	6
General algebraic systems	2	3	0	0	0	0	5
Approximations and expansions	3	2	0	0	0	0	5
Game theory, economics, social and behavioral sciences	4	0	1	0	0	0	5
Global analysis, analysis on manifolds	2	2	0	0	0	0	4
Several complex variables and analytic spaces	2	1	0	0	0	0	3
Category theory; homological algebra	1	0	0	0	0	0	1
Difference and functional equations	0	1	0	0	0	1	1
Differential geometry	0	1	0	0	0	0	1