OAI/Computability/WitnessedChoice/
2139 declarations, 0 contain sorry, 0 declared as axioms; 27 files
Files
- AnchoredTree.lean 93 declarations
- ChoiceSeparation.lean 46 declarations
- ChoiceTrace.lean 30 declarations
- Counting.lean 99 declarations
- CountingTransfer.lean 87 declarations
- CumulativeEvaluation.lean 49 declarations
- CycleTranslation.lean 71 declarations
- EncodedCounting.lean 73 declarations
- EvaluationTrace.lean 43 declarations
- FormTransfer.lean 84 declarations
- GridAction.lean 123 declarations
- GridGeometry.lean 116 declarations
- GuardedProgram.lean 169 declarations
- Hereditary.lean 47 declarations
- Homogeneity.lean 80 declarations
- LowerBound.lean 41 declarations
- Machines.lean 102 declarations
- Main.lean 1 declarations
- Model.lean 67 declarations
- QuotedSyntax.lean 169 declarations
- SupportGrid.lean 129 declarations
- SupportedForms.lean 65 declarations
- Syntax.lean 103 declarations
- TermGraphs.lean 52 declarations
- TraceGraphs.lean 50 declarations
- TreeCorrection.lean 68 declarations
- TreeElimination.lean 82 declarations