Mercurial > hg > Members > kono > Proof > ZF-in-agda
directory / @ 429:8d8149bcd4d1
| name | size | permissions |
|---|---|---|
 fig/
|
drwxr-xr-x | |
 .hgtags
|
1761 | -rw-r--r-- |
|
BAlgbra.agda
|
5669 | -rw-r--r-- |
|
LEMC.agda
|
8069 | -rw-r--r-- |
|
LICENSE
|
35149 | -rw-r--r-- |
|
OD.agda
|
29189 | -rw-r--r-- |
|
ODC.agda
|
4492 | -rw-r--r-- |
|
ODUtil.agda
|
9730 | -rw-r--r-- |
|
OPair.agda
|
9007 | -rw-r--r-- |
|
OrdUtil.agda
|
12601 | -rw-r--r-- |
|
Ordinals.agda
|
2493 | -rw-r--r-- |
|
README.md
|
2495 | -rw-r--r-- |
|
Todo
|
623 | -rw-r--r-- |
|
Topology.agda
|
3248 | -rw-r--r-- |
|
VL.agda
|
2596 | -rw-r--r-- |
|
cardinal.agda
|
3045 | -rw-r--r-- |
|
filter.agda
|
7514 | -rw-r--r-- |
|
generic-filter.agda
|
10490 | -rw-r--r-- |
|
logic.agda
|
1652 | -rw-r--r-- |
|
nat.agda
|
1416 | -rw-r--r-- |
|
ordinal.agda
|
13863 | -rw-r--r-- |
|
partfunc.agda
|
10713 | -rw-r--r-- |
|
zf-in-agda.html
|
60352 | -rw-r--r-- |
|
zf-in-agda.ind
|
48887 | -rw-r--r-- |
|
zf.agda
|
3748 | -rw-r--r-- |
|
zfc.agda
|
1202 | -rw-r--r-- |