OAI/
3560922 declarations, 0 contain sorry, 0 declared as axioms; 122458 files
Folders
- Algebra/ 2081 files, 27355 declarations
- AlgebraicGeometry/ 975 files, 16757 declarations
- AlgebraicTopology/ 45 files, 2104 declarations
- Analysis/ 26567 files, 1398786 declarations
- CategoryTheory/ 312 files, 12359 declarations
- Combinatorics/ 16614 files, 901775 declarations
- Computability/ 5213 files, 152657 declarations
- Dynamics/ 664 files, 12477 declarations
- GameTheory/ 303 files, 47655 declarations
- Geometry/ 14057 files, 138898 declarations
- GroupTheory/ 4192 files, 37464 declarations
- InformationTheory/ 339 files, 6119 declarations
- LinearAlgebra/ 954 files, 58455 declarations
- MathematicalPhysics/ 6736 files, 329890 declarations
- MeasureTheory/ 2950 files, 14121 declarations
- ModelTheory/ 42 files, 2128 declarations
- NumberTheory/ 23530 files, 151971 declarations
- Optimization/ 2 files, 46 declarations
- Probability/ 12971 files, 143643 declarations
- RepresentationTheory/ 1108 files, 70463 declarations
- RingTheory/ 536 files, 10205 declarations
- SetTheory/ 1018 files, 15139 declarations
- Topology/ 1249 files, 10455 declarations