FormalConjectures/
8236 declarations, 3757 contain sorry, 0 declared as axioms; 1468 files
Folders
- Arxiv/ 37 files, 272 declarations
- Books/ 12 files, 61 declarations
- ErdosProblems/ 833 files, 3376 declarations
- GreensOpenProblems/ 57 files, 351 declarations
- HilbertProblems/ 2 files, 15 declarations
- Kourovka/ 7 files, 20 declarations
- LittProblems/ 1 files, 10 declarations
- Mathoverflow/ 13 files, 89 declarations
- Millennium/ 5 files, 46 declarations
- OEIS/ 228 files, 2012 declarations
- OpenQuantumProblems/ 3 files, 187 declarations
- OptimizationConstants/ 1 files, 6 declarations
- Other/ 9 files, 54 declarations
- Paper/ 38 files, 379 declarations
- Subsets/ 2 files, 2 declarations
- Wikipedia/ 165 files, 1070 declarations
- WrittenOnTheWallII/ 55 files, 286 declarations