Mercurial > hg > Members > kono > Proof > ZF-in-agda
directory / @ 149:e022c0716936 release
| name | size | permissions |
|---|---|---|
 .hgtags
|
343 | -rw-r--r-- |
|
HOD.agda
|
29641 | -rw-r--r-- |
|
LICENSE
|
35149 | -rw-r--r-- |
|
Todo
|
222 | -rw-r--r-- |
|
ordinal-definable.agda
|
28341 | -rw-r--r-- |
|
ordinal.agda
|
14907 | -rw-r--r-- |
|
zf.agda
|
4571 | -rw-r--r-- |