Mercurial > hg > Members > kono > Proof > ZF-in-agda
directory / @ 177:e75fad60cf8c
| name | size | permissions |
|---|---|---|
 .hgtags
|
539 | -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-- |