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	985	933	116	1388	120	300	3542
Combinatorics	402	635	46	261	125	157	1469
Convex and discrete geometry	45	110	3	17	1	27	176
Quantum theory	68	25	0	28	52	13	173
Linear and multilinear algebra; matrix theory	47	29	1	34	52	6	163
Algebraic geometry	59	34	1	13	12	9	119
Information and communication, circuits	29	19	0	11	52	4	111
Geometry	32	39	5	18	5	12	99
Functions of a complex variable	14	55	1	2	5	16	77
Group theory and generalizations	25	25	1	12	8	2	71
Field theory and polynomials	15	36	4	3	4	4	62
Mathematical logic and foundations	10	26	6	7	2	5	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
Computer science	15	5	3	7	7	1	37
Real functions	13	17	1	3	0	7	34
Sequences, series, summability	10	17	0	4	0	14	31
Probability theory and stochastic processes	8	9	2	8	2	4	29
Dynamical systems and ergodic theory	13	1	1	5	7	0	27
Order, lattices, ordered algebraic structures	3	2	3	9	5	1	22
Associative rings and algebras	9	10	1	0	1	1	21
Partial differential equations	8	6	0	0	5	2	19
Functional analysis	8	7	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	2	0	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	1	3	0	0	0	0	4
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