Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2019-06-10 | Shinji KONO | add comment |
2019-06-10 | Shinji KONO | Power Set done with min-sup assumption |
2019-06-09 | Shinji KONO | ... |
2019-06-09 | Shinji KONO | power set using sup on Def |
2019-06-08 | Shinji KONO | Power Set and L |
2019-06-08 | Shinji KONO | clean up |
2019-06-08 | Shinji KONO | ... |
Loading... |