Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Mon, 20 Jun 2022 07:49:35 +0900 | Shinji KONO | supf again |
Mon, 20 Jun 2022 07:20:31 +0900 | Shinji KONO | close this |
age | author | description |
---|---|---|
Mon, 20 Jun 2022 07:49:35 +0900 | Shinji KONO | supf again |
Mon, 20 Jun 2022 07:20:31 +0900 | Shinji KONO | close this |