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	835	857	109	876	91	257	2768
Combinatorics	369	586	46	245	122	137	1368
Convex and discrete geometry	45	107	3	17	1	24	173
Quantum theory	68	25	0	28	52	13	173
Linear and multilinear algebra; matrix theory	41	24	1	29	52	5	147
Information and communication, circuits	28	19	0	11	52	4	110
Geometry	30	38	5	13	4	11	90
Algebraic geometry	46	24	1	8	7	9	86
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	17	33	4	3	4	3	61
Mathematical logic and foundations	10	26	6	7	2	2	51
Operator theory	19	6	0	17	1	1	43
Special functions	32	9	0	0	0	0	41
Harmonic analysis on Euclidean spaces	13	23	1	2	0	13	39
General topology	14	5	6	10	3	1	38
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	8	8	2	8	2	4	28
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