Mercurial > hg > Members > kono > Proof > ZF-in-agda
directory / @ 272:985a1af11bce
name | size | permissions |
---|---|---|
.hgtags | 833 | -rw-r--r-- |
BAlgbra.agda | 5308 | -rw-r--r-- |
LICENSE | 35149 | -rw-r--r-- |
OD.agda | 29306 | -rw-r--r-- |
OPair.agda | 5114 | -rw-r--r-- |
Ordinals.agda | 8058 | -rw-r--r-- |
Todo | 487 | -rw-r--r-- |
cardinal.agda | 6233 | -rw-r--r-- |
filter.agda | 2679 | -rw-r--r-- |
logic.agda | 1514 | -rw-r--r-- |
nat.agda | 1416 | -rw-r--r-- |
ordinal.agda | 15292 | -rw-r--r-- |
zf.agda | 4370 | -rw-r--r-- |