Mercurial > hg > Members > kono > Proof > ZF-in-agda
directory / @ 160:ebac6fa116fa
| name | size | permissions |
|---|---|---|
 .hgtags
|
343 | -rw-r--r-- |
|
HOD.agda
|
30568 | -rw-r--r-- |
|
LICENSE
|
35149 | -rw-r--r-- |
|
Todo
|
222 | -rw-r--r-- |
|
ordinal-definable.agda
|
28378 | -rw-r--r-- |
|
ordinal.agda
|
14911 | -rw-r--r-- |
|
zf.agda
|
4507 | -rw-r--r-- |