OAI/Computability/LoopMatching/
311 declarations, 0 contain sorry, 0 declared as axioms; 24 files
Files
- Accumulator.lean 6 declarations
- Approximation.lean 11 declarations
- BinaryMultiply.lean 18 declarations
- BitAdd.lean 23 declarations
- BitAddRoutine.lean 11 declarations
- BitLength.lean 4 declarations
- BitNormalize.lean 19 declarations
- ChoiceCounts.lean 8 declarations
- CountDecomposition.lean 6 declarations
- CountedParser.lean 7 declarations
- Endpoint.lean 1 declarations
- ExpandBijection.lean 36 declarations
- ExpandCount.lean 2 declarations
- ExpandInput.lean 18 declarations
- InputDecode.lean 14 declarations
- InputMachine.lean 16 declarations
- LiteralChoices.lean 12 declarations
- LoopParser.lean 25 declarations
- MachineMain.lean 20 declarations
- Main.lean 2 declarations
- Model.lean 16 declarations
- RawAccumulator.lean 22 declarations
- SmallBoundary.lean 6 declarations
- SparseBoundary.lean 8 declarations