Mercurial > hg > Members > kono > Proof > ZF-in-agda
directory / @ 178:f5b3f30fcb16 release
| name | size | permissions |
|---|---|---|
 .hgtags
|
441 | -rw-r--r-- |
|
HOD.agda
|
30675 | -rw-r--r-- |
|
LICENSE
|
35149 | -rw-r--r-- |
|
Todo
|
222 | -rw-r--r-- |
|
ordinal-definable.agda
|
28248 | -rw-r--r-- |
|
ordinal.agda
|
15060 | -rw-r--r-- |
|
zf.agda
|
4629 | -rw-r--r-- |