FormalConjectures/Other/
54 declarations, 34 contain sorry, 0 declared as axioms; 9 files
Files
- BeaverMathOlympiad.lean 7 declarations
- EquationalTheories_677_255.lean 7 declarations
- GerstenhaberThreeMatrices.lean 3 declarations
- HyperbolicGroupsResiduallyFinite.lean 3 declarations
- Rule30.lean 8 declarations
- SchurTruncatedExponential.lean 2 declarations
- SuffixPrefixAvoidance.lean 6 declarations
- SymbolLengthMilnorKTheory.lean 10 declarations
- VCDimConvex.lean 8 declarations