-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path_CoqProject
139 lines (114 loc) · 2.66 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
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
-R theories/ Blech
-arg -w
-arg all
theories/Defaults.v
theories/Type/Predicate.v
theories/Type/Truncate.v
theories/Type/Some.v
theories/Type/Var.v
theories/Bishop.v
theories/Bishop/Exp.v
theories/Bishop/Prod.v
theories/Bishop/Mt.v
theories/Bishop/Sum.v
theories/Bishop/Trv.v
theories/Category.v
theories/Category/Free.v
theories/Category/Path.v
theories/Reflect.v
theories/Functor.v
theories/Category/Funct.v
theories/Category/Bsh.v
theories/Monoid.v
theories/Monoid/Free.v
theories/Monoid/List.v
theories/Monoid/Reflect.v
theories/Group.v
theories/Group/Free.v
theories/Monic.v
theories/Monic/Mono.v
theories/Groupoid.v
theories/Pointed.v
theories/Pointed/Exp.v
theories/Pointed/Sum.v
theories/PointedCategory.v
theories/PointedGroupoid.v
theories/Groupoid/Free.v
theories/Groupoid/Core.v
theories/Category/Tw.v
theories/Category/Typ.v
theories/Category/Alg.v
theories/Category/Arr.v
theories/Category/El.v
theories/Category/Opt.v
theories/Category/FinSet.v
theories/Category/Epic.v
theories/Category/Epimono.v
theories/Category/Fiber.v
theories/Category/One.v
theories/Category/Grp.v
theories/Category/Mon.v
theories/Category/Op.v
theories/Category/Comma.v
theories/Category/Over.v
theories/Category/Under.v
theories/Category/PSh.v
theories/Category/CoPSh.v
theories/Category/Ptd.v
theories/Category/CABA.v
theories/Category/Prod.v
theories/Category/Sum.v
theories/Category/Trv.v
theories/Category/Mt.v
theories/Category/Interval.v
theories/Category/Cograph.v
theories/Cartesian.v
theories/Proset.v
theories/Category/PreOrd.v
theories/Proset/Complete.v
theories/Proset/Prp.v
theories/Proset/Funct.v
theories/Proset/Sub.v
theories/Proset/Heyting.v
theories/Proset/Heyting/Free.v
theories/Proset/Trv.v
theories/Proset/Complete/Powerset.v
theories/Category/ElPreOrd.v
theories/Bishop/Power.v
theories/Functor/Id.v
theories/Functor/Compose.v
theories/Functor/Curry.v
theories/Functor/Sigma.v
theories/Functor/Basechange.v
theories/Functor/Yo.v
theories/Functor/CoYo.v
theories/Functor/Spec.v
theories/Functor/CoSpec.v
theories/Functor/Poly.v
theories/Bicategory.v
theories/Bicategory/Cat.v
theories/Bicategory/Interval.v
theories/Bicategory/UndirectedInterval.v
theories/Bicategory/Over.v
theories/Bicategory/Weak.v
theories/Category/Dis.v
theories/Monoid/Trv.v
theories/Monoid/And.v
theories/Monoid/Or.v
theories/Monoid/Circle.v
theories/Monoid/Endo.v
theories/Monoid/Monomial.v
theories/Type/FreeSemiring.v
theories/Type/Polynomial.v
theories/Group/Trv.v
theories/Group/Circle.v
theories/Group/Auto.v
theories/Semiring.v
theories/Groupoid/Fin.v
theories/Groupoid/One.v
theories/Groupoid/Interval.v
theories/Category/NPSh.v
theories/Functor/NYo.v
theories/Path.v
theories/Monoidal.v
theories/Infinity.v