FormalConjectures/Paper/
379 declarations, 166 contain sorry, 0 declared as axioms; 38 files
Files
- AuslanderReiten.lean 6 declarations
- BranchingVAS.lean 14 declarations
- CardinalityLindelof.lean 1 declarations
- CasasAlvero.lean 10 declarations
- CatchUpConjecture.lean 8 declarations
- Chvatal.lean 3 declarations
- ClaudesCycles.lean 12 declarations
- ConjugacyClassSizes.lean 8 declarations
- DeGiorgi.lean 14 declarations
- DegreeSequencesTriangleFree.lean 18 declarations
- Dubner.lean 7 declarations
- EisenbudGreenHarris.lean 4 declarations
- FusibleNumber.lean 4 declarations
- Gourevitch.lean 1 declarations
- HartshorneConjecture.lean 9 declarations
- Homogenous.lean 13 declarations
- KaplanskyUInvariant.lean 17 declarations
- KotzigConjecture.lean 1 declarations
- Kurepa.lean 8 declarations
- LatinSquare.lean 17 declarations
- LatinTableau.lean 1 declarations
- MonochromaticQuantumGraph.lean 68 declarations
- NLSCritical.lean 4 declarations
- PfisterPythagorasNumber.lean 10 declarations
- PrimeTuples.lean 1 declarations
- ReedOmegaDeltaChi.lean 3 declarations
- RiemannHypothesisEquivalents.lean 19 declarations
- RiemannZetaMoments.lean 9 declarations
- RingelConjecture.lean 1 declarations
- Rupert.lean 4 declarations
- SerreUniformity.lean 4 declarations
- SizeOrderConnectedDomination.lean 1 declarations
- StrongSensitivityConjecture.lean 10 declarations
- TuDengConjecture.lean 2 declarations
- VoronovskajaTypeFormula.lean 33 declarations
- WeakTiling.lean 8 declarations
- WeaklyFirstCountable.lean 11 declarations
- ZagierMZV.lean 15 declarations