OAI/Computability/Superstring/
1756 declarations, 0 contain sorry, 0 declared as axioms; 51 files
Files
- Arithmetic.lean 70 declarations
- Attachments.lean 21 declarations
- BlockClose.lean 65 declarations
- Clock.lean 19 declarations
- CollectionCode.lean 58 declarations
- Collections.lean 24 declarations
- Combinators.lean 39 declarations
- Computable.lean 65 declarations
- CountSort.lean 21 declarations
- Counting.lean 25 declarations
- Counts.lean 81 declarations
- DistributeCode.lean 31 declarations
- Distribution.lean 17 declarations
- Encoding.lean 50 declarations
- FactoryPoly.lean 34 declarations
- FibreSelect.lean 33 declarations
- GeoCore.lean 50 declarations
- GroupBridge.lean 30 declarations
- GroupPoly.lean 48 declarations
- GroupSupply.lean 46 declarations
- Groups.lean 47 declarations
- Hierarchical.lean 95 declarations
- HostComplete.lean 24 declarations
- HostNormalization.lean 17 declarations
- HostNormalized.lean 20 declarations
- Input.lean 31 declarations
- Instructions.lean 33 declarations
- Iteration.lean 22 declarations
- LayerBridge.lean 22 declarations
- LayerCode.lean 35 declarations
- LexCode.lean 15 declarations
- LocalCode.lean 33 declarations
- Main.lean 10 declarations
- Model.lean 10 declarations
- Parsing.lean 30 declarations
- Periods.lean 21 declarations
- PolynomialTime.lean 15 declarations
- PrefixMatching.lean 14 declarations
- Programs.lean 30 declarations
- Records.lean 27 declarations
- RequestAttachment.lean 35 declarations
- Schedule.lean 6 declarations
- SchedulerCode.lean 18 declarations
- SchedulerMachine.lean 27 declarations
- Tables.lean 38 declarations
- ThreadSupport.lean 76 declarations
- Threads.lean 39 declarations
- UpperController.lean 15 declarations
- WalkCode.lean 74 declarations
- WalkOutput.lean 34 declarations
- Windows.lean 16 declarations