Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2023-03-04 | Shinji KONO | Added tag current for changeset f17d060e0bda |
2023-03-04 | Shinji KONO | UFLP→FIP FIP→UFLP with Zorn done |
2023-03-04 | Shinji KONO | ... |
2023-03-03 | Shinji KONO | ... |
2023-03-03 | Shinji KONO | ... |
2023-03-03 | Shinji KONO | UFLP→FIP done |
2023-03-03 | kono | ... |
Loading... |