OAI/Combinatorics/MatchingCount/Arithmetic/
427 declarations, 0 contain sorry, 0 declared as axioms; 24 files
Files
- ArithmeticSize.lean 68 declarations
- BinaryAddition.lean 26 declarations
- BinaryCompare.lean 16 declarations
- BinaryCopy.lean 24 declarations
- BinaryDivision.lean 16 declarations
- BinaryIncrement.lean 14 declarations
- BinaryNormalize.lean 16 declarations
- BinarySubtract.lean 13 declarations
- OnlineFractionParam.lean 17 declarations
- PostAddition.lean 9 declarations
- PostComparison.lean 10 declarations
- SubtractProc.lean 5 declarations
- TreeAdaptiveArithmetic.lean 28 declarations
- TreeCompare.lean 7 declarations
- TreeDivision.lean 24 declarations
- TreeDyadic.lean 10 declarations
- TreeFraction.lean 24 declarations
- TreeFractionExtra.lean 13 declarations
- TreeGCD.lean 17 declarations
- TreeMultiply.lean 25 declarations
- TreeNatDivision.lean 12 declarations
- TreeNumberOps.lean 24 declarations
- TreeStateNormalize.lean 6 declarations
- TreeSubtract.lean 3 declarations