Mercurial > hg > Members > kono > Proof > ZF-in-agda
log zf-in-agda.ind @ 718:300f9176edc2
age | author | description |
---|---|---|
2020-08-05 | Shinji KONO | ... |
2020-07-18 | Shinji KONO | hω2 |
2020-07-17 | Shinji KONO | ... |
2020-07-14 | Shinji KONO | ... |
2020-07-06 | Shinji KONO | ... |
2020-05-09 | Shinji KONO | ... |
2020-01-11 | Shinji KONO | add documents |