Mercurial > hg > Members > kono > Proof > ZF-in-agda
changeset 149:e022c0716936 release
only ordinal-definable.agda is finished. it assmues all ZF Set are Ordinals.
HOD is incomplete, but we leave this for a while.
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 08 Jul 2019 19:48:47 +0900 |
parents | 02d421f1cc06 (diff) 6e767ad3edc2 (current diff) |
children | a1b5b890b796 |
files | |
diffstat | 0 files changed, 0 insertions(+), 0 deletions(-) [+] |