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	971	882	115	1363	112	271	3443
Combinatorics	376	600	46	257	124	138	1403
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	48	25	1	34	52	6	160
Information and communication, circuits	28	19	0	11	52	4	110
Algebraic geometry	51	31	1	12	6	9	101
Geometry	30	39	5	18	4	12	96
Functions of a complex variable	15	54	1	2	5	12	77
Group theory and generalizations	25	24	1	12	8	2	70
Field theory and polynomials	18	33	4	3	4	3	62
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	12	24	1	2	0	14	39
Measure and integration	7	22	3	5	1	8	38
Real functions	13	17	1	3	0	7	34
Computer science	13	5	3	6	5	1	32
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	9	6	0	0	0	1	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
Nonassociative rings and algebras	2	4	0	3	0	0	9
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	1	2	0	0	0	1	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