-
Notifications
You must be signed in to change notification settings - Fork 47
/
_CoqProject
132 lines (118 loc) · 3.2 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
-Q theories ExtLib
theories/ExtLib.v
theories/Tactics.v
theories/Core/Any.v
theories/Core/CmpDec.v
theories/Core/EquivDec.v
theories/Core/RelDec.v
theories/Core/Decision.v
theories/Structures/Applicative.v
theories/Structures/BinOps.v
theories/Structures/CoFunctor.v
theories/Structures/CoMonad.v
theories/Structures/CoMonadLaws.v
theories/Structures/EqDep.v
theories/Structures/Foldable.v
theories/Structures/FunctorLaws.v
theories/Structures/Functor.v
theories/Structures/IXMonad.v
theories/Structures/Maps.v
theories/Structures/MonadCont.v
theories/Structures/MonadExc.v
theories/Structures/MonadFix.v
theories/Structures/MonadLaws.v
theories/Structures/MonadPlus.v
theories/Structures/MonadReader.v
theories/Structures/MonadState.v
theories/Structures/Monads.v
theories/Structures/MonadTrans.v
theories/Structures/Monad.v
theories/Structures/MonadWriter.v
theories/Structures/MonadZero.v
theories/Structures/Monoid.v
theories/Structures/Reducible.v
theories/Structures/Sets.v
theories/Structures/Traversable.v
theories/Data/Bool.v
theories/Data/Char.v
theories/Data/Checked.v
theories/Data/Eq.v
theories/Data/Eq/UIP_trans.v
theories/Data/Fin.v
theories/Data/Fun.v
theories/Data/HList.v
theories/Data/LazyList.v
theories/Data/Lazy.v
theories/Data/ListFirstnSkipn.v
theories/Data/ListNth.v
theories/Data/List.v
theories/Data/Member.v
theories/Data/Nat.v
theories/Data/N.v
theories/Data/Option.v
theories/Data/Pair.v
theories/Data/Positive.v
theories/Data/PreFun.v
theories/Data/Prop.v
theories/Data/SigT.v
theories/Data/Stream.v
theories/Data/String.v
theories/Data/SumN.v
theories/Data/Sum.v
theories/Data/Tuple.v
theories/Data/Unit.v
theories/Data/Vector.v
theories/Data/Z.v
theories/Data/POption.v
theories/Data/PList.v
theories/Data/PPair.v
theories/Generic/Data.v
theories/Generic/DerivingData.v
theories/Generic/Func.v
theories/Generic/Ind.v
theories/Programming/Eqv.v
theories/Programming/Extras.v
theories/Programming/Injection.v
theories/Programming/Le.v
theories/Programming/Show.v
theories/Programming/With.v
theories/Recur/Facts.v
theories/Recur/GenRec.v
theories/Recur/Measure.v
theories/Recur/Relation.v
theories/Relations/Compose.v
theories/Relations/TransitiveClosure.v
theories/Tactics/BoolTac.v
theories/Tactics/Cases.v
theories/Tactics/Consider.v
theories/Tactics/EqDep.v
theories/Tactics/Equality.v
theories/Tactics/Forward.v
theories/Tactics/Injection.v
theories/Tactics/MonadTac.v
theories/Tactics/Parametric.v
theories/Tactics/Reify.v
theories/Tactics/Hide.v
theories/Data/Graph/BuildGraph.v
theories/Data/Graph/GraphAdjList.v
theories/Data/Graph/GraphAlgos.v
theories/Data/Graph/Graph.v
theories/Data/Map/FMapAList.v
theories/Data/Map/FMapPositive.v
theories/Data/Map/FMapTwoThreeK.v
theories/Data/Monads/ContMonad.v
theories/Data/Monads/EitherMonad.v
theories/Data/Monads/FuelMonadLaws.v
theories/Data/Monads/FuelMonad.v
theories/Data/Monads/IdentityMonadLaws.v
theories/Data/Monads/IdentityMonad.v
theories/Data/Monads/IStateMonad.v
theories/Data/Monads/OptionMonadLaws.v
theories/Data/Monads/OptionMonad.v
theories/Data/Monads/ReaderMonadLaws.v
theories/Data/Monads/ReaderMonad.v
theories/Data/Monads/StateMonad.v
theories/Data/Monads/WriterMonad.v
theories/Data/Set/ListSet.v
theories/Data/Set/SetMap.v
theories/Data/Set/TwoThreeTrees.v