-
Notifications
You must be signed in to change notification settings - Fork 0
/
_CoqProject
44 lines (35 loc) · 822 Bytes
/
_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
-R theories COC
theories/Base/Setoid.v
theories/Base/Category.v
theories/Base/Functor.v
theories/Base/Natrans.v
theories/Base/Main.v
theories/Cons/Initial.v
theories/Cons/Terminal.v
theories/Cons/Product.v
theories/Cons/Coproduct.v
theories/Cons/Equalizer.v
theories/Cons/Coequalizer.v
theories/Cons/Exponential.v
theories/Cons/Duality.v
theories/Cons/Main.v
theories/Limit/Limit.v
theories/Limit/Colimit.v
theories/Limit/Main.v
theories/Adj/Adjunction.v
theories/Adj/Naturality.v
theories/Adj/ProdExp.v
theories/Adj/LimDiag.v
theories/Adj/Main.v
theories/KanExt/Lan.v
theories/KanExt/LanColimit.v
theories/KanExt/Ran.v
theories/KanExt/RanLimit.v
theories/KanExt/Adj.v
theories/KanExt/Main.v
theories/Rep/Yoneda.v
theories/CCC/CCC.v
theories/Monad/Monad.v
theories/Monad/Adj.v
theories/Monad/Main.v
theories/All.v