-
Notifications
You must be signed in to change notification settings - Fork 22
/
_CoqProject
128 lines (125 loc) · 3.42 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
-R theories fourcolor
-arg -w -arg -notation-overridden
-arg -w -arg -ambiguous-paths
-arg -w -arg -redundant-canonical-projection
-arg -w -arg -deprecated-hint-without-locality
-arg -w -arg -deprecated-instance-without-locality
theories/reals/real.v
theories/reals/realsyntax.v
theories/reals/realprop.v
theories/reals/realcategorical.v
theories/proof/dedekind.v
theories/proof/realplane.v
theories/proof/hypermap.v
theories/proof/walkup.v
theories/proof/jordan.v
theories/proof/geometry.v
theories/proof/cube.v
theories/proof/color.v
theories/proof/coloring.v
theories/proof/patch.v
theories/proof/sew.v
theories/proof/snip.v
theories/proof/revsnip.v
theories/proof/chromogram.v
theories/proof/kempe.v
theories/proof/ctree.v
theories/proof/gtree.v
theories/proof/dyck.v
theories/proof/initctree.v
theories/proof/initgtree.v
theories/proof/gtreerestrict.v
theories/proof/ctreerestrict.v
theories/proof/kempetree.v
theories/proof/cfmap.v
theories/proof/configurations.v
theories/proof/cfcolor.v
theories/proof/cfcontract.v
theories/proof/cfreducible.v
theories/proof/birkhoff.v
theories/proof/contract.v
theories/proof/embed.v
theories/proof/quiz.v
theories/proof/quiztree.v
theories/proof/cfquiz.v
theories/proof/part.v
theories/proof/redpart.v
theories/proof/discharge.v
theories/proof/hubcap.v
theories/proof/grid.v
theories/proof/gridmap.v
theories/proof/matte.v
theories/proof/finitize.v
theories/proof/approx.v
theories/proof/discretize.v
theories/proof/present.v
theories/proof/present5.v
theories/proof/present6.v
theories/proof/present7.v
theories/proof/present8.v
theories/proof/present9.v
theories/proof/present10.v
theories/proof/present11.v
theories/proof/job001to106.v
theories/proof/job107to164.v
theories/proof/job165to189.v
theories/proof/job190to206.v
theories/proof/job207to214.v
theories/proof/task001to214.v
theories/proof/job215to218.v
theories/proof/job219to222.v
theories/proof/job223to226.v
theories/proof/job227to230.v
theories/proof/job231to234.v
theories/proof/task215to234.v
theories/proof/job235to238.v
theories/proof/job239to253.v
theories/proof/job254to270.v
theories/proof/job271to278.v
theories/proof/job279to282.v
theories/proof/task235to282.v
theories/proof/job283to286.v
theories/proof/job287to290.v
theories/proof/job291to294.v
theories/proof/job295to298.v
theories/proof/job299to302.v
theories/proof/task283to302.v
theories/proof/job303to306.v
theories/proof/job307to310.v
theories/proof/job311to314.v
theories/proof/job315to318.v
theories/proof/job319to322.v
theories/proof/task303to322.v
theories/proof/job323to383.v
theories/proof/job384to398.v
theories/proof/job399to438.v
theories/proof/job439to465.v
theories/proof/job466to485.v
theories/proof/task323to485.v
theories/proof/job486to489.v
theories/proof/job490to494.v
theories/proof/job495to498.v
theories/proof/job499to502.v
theories/proof/job503to506.v
theories/proof/task486to506.v
theories/proof/job507to510.v
theories/proof/job511to516.v
theories/proof/job517to530.v
theories/proof/job531to534.v
theories/proof/job535to541.v
theories/proof/task507to541.v
theories/proof/job542to545.v
theories/proof/job546to549.v
theories/proof/job550to553.v
theories/proof/job554to562.v
theories/proof/job563to588.v
theories/proof/task542to588.v
theories/proof/job589to610.v
theories/proof/job611to617.v
theories/proof/job618to622.v
theories/proof/job623to633.v
theories/proof/task589to633.v
theories/proof/unavoidability.v
theories/proof/reducibility.v
theories/proof/combinatorial4ct.v
theories/proof/fourcolor.v