Mercurial > hg > Members > kono > Proof > ZF-in-agda
directory / @ 354:aa03b9c289c0
| name | size | permissions |
|---|---|---|
 fig/
|
drwxr-xr-x | |
 .hgtags
|
1469 | -rw-r--r-- |
|
BAlgbra.agda
|
5888 | -rw-r--r-- |
|
LEMC.agda
|
6512 | -rw-r--r-- |
|
LICENSE
|
35149 | -rw-r--r-- |
|
OD.agda
|
36583 | -rw-r--r-- |
|
ODC.agda
|
4051 | -rw-r--r-- |
|
OPair.agda
|
5507 | -rw-r--r-- |
|
Ordinals.agda
|
12048 | -rw-r--r-- |
|
README.md
|
2885 | -rw-r--r-- |
|
Todo
|
508 | -rw-r--r-- |
|
cardinal.agda
|
6404 | -rw-r--r-- |
|
filter.agda
|
5734 | -rw-r--r-- |
|
logic.agda
|
1514 | -rw-r--r-- |
|
nat.agda
|
1416 | -rw-r--r-- |
|
ordinal.agda
|
14699 | -rw-r--r-- |
|
zf-in-agda.html
|
49972 | -rw-r--r-- |
|
zf-in-agda.ind
|
40613 | -rw-r--r-- |
|
zf.agda
|
3727 | -rw-r--r-- |
|
zfc.agda
|
1202 | -rw-r--r-- |