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-- |