OAI/Computability/TypeSystem/
3193 declarations, 0 contain sorry, 0 declared as axioms; 33 files
Files
- Basic.lean 36 declarations
- Bounds.lean 88 declarations
- Candidates.lean 31 declarations
- Channels.lean 245 declarations
- Components.lean 19 declarations
- Congruence.lean 68 declarations
- Contexts.lean 55 declarations
- Diagonal.lean 158 declarations
- Equivalence.lean 180 declarations
- Evaluation.lean 80 declarations
- Interface.lean 33 declarations
- Labelled.lean 133 declarations
- Logic.lean 283 declarations
- Normalization.lean 6 declarations
- ObservationCandidates.lean 45 declarations
- ObservationReduction.lean 31 declarations
- OneChild.lean 45 declarations
- Pairs.lean 190 declarations
- Plain.lean 21 declarations
- Potential.lean 58 declarations
- Profiles.lean 61 declarations
- Reduction.lean 70 declarations
- Relational.lean 237 declarations
- Relations.lean 112 declarations
- Response.lean 88 declarations
- Restriction.lean 24 declarations
- Signed.lean 27 declarations
- Spaces.lean 126 declarations
- Specialization.lean 282 declarations
- Substitution.lean 33 declarations
- Typing.lean 91 declarations
- Values.lean 119 declarations
- Wrappers.lean 118 declarations