-
Notifications
You must be signed in to change notification settings - Fork 0
/
_CoqProject
100 lines (83 loc) · 2.3 KB
/
_CoqProject
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
-arg -impredicative-set
-Q . ExtensibleCompiler
Hacks/TypeClassResolutionForHave.v
Passes/RemoveUnaryIfs.v
Semantics/All/Bool.v
Semantics/All/BoolType.v
Semantics/All/If1.v
Semantics/All/If2.v
Semantics/All/Lambda.v
Semantics/All/Unit.v
Semantics/All/UnitType.v
Semantics/Dynamic/All/Bool.v
Semantics/Dynamic/All/If1.v
Semantics/Dynamic/All/If2.v
Semantics/Dynamic/All/Lambda.v
Semantics/Dynamic/All/Unit.v
Semantics/Dynamic/Eval/Bool.v
Semantics/Dynamic/Eval/If1.v
Semantics/Dynamic/Eval/If2.v
Semantics/Dynamic/Eval/Lambda.v
Semantics/Dynamic/Eval/Unit.v
Semantics/Dynamic/EvalRelation/Bool.v
Semantics/Dynamic/EvalRelation/If1.v
Semantics/Dynamic/EvalRelation/If2.v
# Semantics/Dynamic/EvalRelation/Lambda.v
Semantics/Dynamic/EvalRelation/Unit.v
Semantics/Dynamic/Soundness/Bool.v
# Semantics/Dynamic/Soundness/If1.v
Semantics/Dynamic/Soundness/If2.v
# Semantics/Dynamic/Soundness/Lambda.v
Semantics/Dynamic/Soundness/Unit.v
Semantics/Static/All/Bool.v
Semantics/Static/All/BoolType.v
Semantics/Static/All/If1.v
Semantics/Static/All/If2.v
Semantics/Static/All/Lambda.v
Semantics/Static/All/Unit.v
Semantics/Static/All/UnitType.v
Semantics/Static/TypeEquality.v
Semantics/Static/TypeEquality/BoolType.v
Semantics/Static/TypeEquality/UnitType.v
Semantics/Static/TypeEqualityCorrectness.v
Semantics/Static/TypeEqualityCorrectness/BoolType.v
Semantics/Static/TypeOf.v
Semantics/Static/TypeOf/Bool.v
Semantics/Static/TypeOf/If1.v
Semantics/Static/TypeOf/If2.v
Semantics/Static/TypeOf/Lambda.v
Semantics/Static/TypeOf/Unit.v
Semantics/Static/WellTyped/Bool.v
# Semantics/Static/WellTyped/If1.v
Semantics/Static/WellTyped/If2.v
# Semantics/Static/WellTyped/Lambda.v
Semantics/Static/WellTyped/Unit.v
Syntax/Terms/Bool.v
Syntax/Terms/Closure.v
Syntax/Terms/If1.v
Syntax/Terms/If2.v
Syntax/Terms/Lambda.v
Syntax/Terms/Stuck.v
Syntax/Terms/Unit.v
Syntax/Types/ArrowType.v
Syntax/Types/BoolType.v
Syntax/Types/UnitType.v
Test/Semantics/Dynamic.v
Test/Semantics/Dynamic/Soundness/If2.v
Test/Semantics/Static.v
Theory/Algebra.v
Theory/Environment.v
Theory/Eval.v
Theory/Functor.v
Theory/IndexedAlgebra.v
Theory/IndexedFunctor.v
Theory/IndexedProofAlgebra.v
Theory/IndexedSubFunctor.v
Theory/IndexedSum1.v
Theory/ProgramAlgebra.v
Theory/ProofAlgebra.v
Theory/SubFunctor.v
Theory/Sum1.v
Theory/Types.v
Theory/TypeSoundness.v
Theory/UniversalProperty.v