OAI/NumberTheory/SingleFold/
836 declarations, 0 contain sorry, 0 declared as axioms; 28 files
Files
- Binary.lean 17 declarations
- CounterBounds.lean 38 declarations
- CounterCompilation.lean 23 declarations
- CounterMachine.lean 51 declarations
- CounterRecords.lean 29 declarations
- DescentMap.lean 35 declarations
- Duplication.lean 12 declarations
- EllipticCoordinates.lean 76 declarations
- EllipticGrowth.lean 65 declarations
- EllipticHeight.lean 17 declarations
- FiniteGeneration.lean 7 declarations
- FunctionalCompiler.lean 34 declarations
- HeightGrowth.lean 12 declarations
- LocalDescent.lean 17 declarations
- MacroMachine.lean 44 declarations
- Main.lean 2 declarations
- Model.lean 3 declarations
- Packed.lean 44 declarations
- Pell.lean 19 declarations
- PolynomialCompiler.lean 19 declarations
- Power.lean 19 declarations
- QuadraticHeight.lean 25 declarations
- Rank.lean 39 declarations
- RationalCodes.lean 86 declarations
- RecursiveEnumeration.lean 22 declarations
- SquareSupport.lean 9 declarations
- Torsion.lean 10 declarations
- TuringSimulation.lean 62 declarations