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	966	1303	135	1542	185	568	4131
Combinatorics	381	949	55	290	171	343	1846
Convex and discrete geometry	53	145	6	18	5	55	227
Linear and multilinear algebra; matrix theory	40	55	2	35	56	17	188
Quantum theory	44	51	0	28	52	38	175
Algebraic geometry	47	86	4	20	15	33	172
Geometry	30	56	5	18	28	16	137
Information and communication, circuits	22	28	0	11	52	13	113
Field theory and polynomials	24	63	9	6	4	15	106
Functions of a complex variable	12	76	2	4	5	29	99
Group theory and generalizations	24	38	1	12	10	9	85
Computer science	20	13	4	18	14	5	69
Associative rings and algebras	14	29	1	8	17	5	69
Mathematical logic and foundations	14	32	6	8	7	7	67
Measure and integration	10	35	10	7	3	14	65
Operator theory	15	7	0	17	18	2	57
Real functions	7	22	1	3	21	9	54
Harmonic analysis on Euclidean spaces	12	36	1	2	0	20	51
Sequences, series, summability	6	18	0	4	17	15	45
Probability theory and stochastic processes	5	23	2	8	6	12	44
General topology	14	5	7	13	3	1	42
Commutative algebra	9	24	5	3	0	4	41
Special functions	30	11	0	0	0	2	41
Dynamical systems and ergodic theory	14	10	1	7	7	4	39
Order, lattices, ordered algebraic structures	3	4	3	9	5	3	24
Partial differential equations	8	9	0	0	5	4	22
Functional analysis	7	10	0	0	3	3	20
Manifolds and cell complexes	5	5	5	0	0	0	15
K-theory	6	3	3	0	2	0	14
Category theory; homological algebra	4	5	1	3	0	1	13
Topological groups, Lie groups	4	5	0	2	0	0	11
Nonassociative rings and algebras	1	5	0	3	0	0	9
Calculus of variations and optimal control; optimization	0	4	1	3	0	5	8
Mechanics of particles and systems	1	0	0	6	0	0	7
Approximations and expansions	2	3	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	0	3	0	0	0	2	3
Differential geometry	0	1	0	0	0	0	1
Difference and functional equations	0	1	0	0	0	1	1