-
Notifications
You must be signed in to change notification settings - Fork 0
/
_CoqProject
100 lines (100 loc) · 2.28 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
-R . AffineConstructive
-arg -nois
-arg "-w -ambiguous-paths"
interfaces/prelude.v
interfaces/notation.v
interfaces/sprop.v
interfaces/aprop.v
interfaces/orders.v
interfaces/relation_notation.v
interfaces/set.v
interfaces/subset/notation.v
interfaces/set_lambda.v
interfaces/set_lambda/notation.v
interfaces/subset.v
interfaces/cat.v
interfaces/prop_eq.v
interfaces/common_props.v
interfaces/algebra_notation.v
interfaces/abstract_algebra.v
interfaces/subalgebra.v
interfaces/ring_order.v
interfaces/bundled_jections.v
interfaces/bundled_notation.v
interfaces/bundled_algebra.v
interfaces/pointwise.v
interfaces/naturals.v
interfaces/integers.v
interfaces/free_monoid.v
interfaces/group_completion.v
interfaces/free/generators.v
interfaces/free/groups.v
logic/srelations.v
logic/aprop.v
logic/relations.v
logic/dec.v
logic/refutative.v
tactics/try_all_hyps.v
tactics/easy.v
tactics/tauto.v
tactics/misc.v
tactics/strip_coercions.v
tactics/change_quantifiers.v
tactics/set_internalize.v
tactics/algebra/com_monoids.v
tactics/algebra/ab_groups.v
tactics/rewrite/proper.v
tactics/rewrite/base.v
tactics/rewrite/srewrite.v
tactics/rewrite/arewrite.v
tactics/rewrite/rewrite.v
tactics/rewrite/replc.v
tactics/quote/base.v
tactics/quote/rewrite_preserves.v
tactics/quote/vars.v
theory/set.v
theory/projected_set.v
theory/default_equality.v
theory/common_props.v
theory/pointwise.v
theory/of_course_set.v
theory/pointed.v
theory/groups.v
theory/subgroups.v
theory/lattices.v
theory/additive_groups.v
theory/multiplicative_groups.v
theory/rings.v
theory/subrings.v
theory/nno.v
theory/naturals.v
theory/nat_action.v
theory/integers.v
theory/int_action.v
theory/bundled_groups.v
theory/bundled_rings.v
theory/group_completion.v
orders/orders.v
orders/maps.v
orders/lattices.v
orders/aprop.v
orders/subset.v
orders/groups.v
orders/rings.v
implementations/bool.v
implementations/nat/nno.v
implementations/nat/rig.v
implementations/nat/subtract.v
implementations/nat/notation.v
implementations/nat.v
implementations/nno_rig.v
implementations/nno_naturals.v
implementations/list/base.v
implementations/list/tensor.v
implementations/list/prod.v
implementations/list.v
implementations/finite_sequences.v
implementations/free/com_monoids.v
implementations/free/ab_groups.v
implementations/grothendieck_group.v
implementations/signed_naturals_integers.v