FormalConjecturesForMathlib/
1430 declarations, 0 contain sorry, 0 declared as axioms; 221 files
Folders
- Algebra/ 15 files, 75 declarations
- AlgebraicGeometry/ 7 files, 24 declarations
- Analysis/ 9 files, 34 declarations
- Combinatorics/ 68 files, 525 declarations
- Computability/ 8 files, 95 declarations
- Data/ 24 files, 132 declarations
- Dynamics/ 1 files, 4 declarations
- FieldTheory/ 3 files, 43 declarations
- Geometry/ 8 files, 72 declarations
- GroupTheory/ 1 files, 6 declarations
- Lean/ 1 files, 1 declarations
- LinearAlgebra/ 4 files, 12 declarations
- Logic/ 1 files, 1 declarations
- ModelTheory/ 3 files, 32 declarations
- NumberTheory/ 32 files, 240 declarations
- Order/ 7 files, 11 declarations
- Probability/ 1 files, 2 declarations
- RepresentationTheory/ 1 files, 4 declarations
- RingTheory/ 11 files, 57 declarations
- SetTheory/ 3 files, 6 declarations
- Tactic/ 1 files, 2 declarations
- Topology/ 12 files, 52 declarations