OAI/Computability/FiniteCompiler/
1902 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- Control.lean 127 declarations
- Effectivity.lean 145 declarations
- Machines.lean 115 declarations
- Normalization.lean 186 declarations
- Paths.lean 120 declarations
- Quotients.lean 136 declarations
- Rewriting.lean 89 declarations
- Selectors.lean 129 declarations
- SelfReference.lean 168 declarations
- Simulator.lean 132 declarations
- Surface.lean 83 declarations
- TapeFolding.lean 102 declarations
- Transition.lean 33 declarations
- UniformControl.lean 85 declarations
- UniformMachines.lean 49 declarations
- UniformPaths.lean 146 declarations
- Validator.lean 57 declarations