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	990	897	117	1368	117	280	3489
Combinatorics	380	606	46	260	124	147	1416
Convex and discrete geometry	45	107	3	17	1	26	173
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	29	19	0	11	52	4	111
Algebraic geometry	54	31	1	12	10	9	108
Geometry	31	39	5	18	5	12	98
Functions of a complex variable	15	54	1	2	5	12	77
Group theory and generalizations	26	24	1	12	8	2	71
Field theory and polynomials	18	33	4	3	4	3	62
Mathematical logic and foundations	10	26	6	7	2	3	51
Operator theory	19	6	0	17	1	0	43
Harmonic analysis on Euclidean spaces	13	26	1	2	0	14	42
Special functions	32	9	0	0	0	0	41
General topology	14	5	7	10	3	1	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
Associative rings and algebras	8	8	1	0	1	1	18
Functional analysis	9	6	0	0	0	1	15
Manifolds and cell complexes	5	5	5	0	0	0	15
Commutative algebra	3	7	3	0	0	1	13
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
Approximations and expansions	3	2	0	0	0	0	5
Game theory, economics, social and behavioral sciences	4	0	1	0	0	0	5
General algebraic systems	2	3	0	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
Difference and functional equations	0	1	0	0	0	1	1
Category theory; homological algebra	1	0	0	0	0	0	1
Differential geometry	0	1	0	0	0	0	1