Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Sun, 01 May 2022 05:35:36 +0900 | Shinji KONO | ... |
Sun, 01 May 2022 02:15:12 +0900 | Shinji KONO | fix sp1 |
Sun, 01 May 2022 01:17:54 +0900 | Shinji KONO | ... |
Sat, 30 Apr 2022 17:30:20 +0900 | Shinji KONO | ... |
Sat, 30 Apr 2022 17:07:35 +0900 | Shinji KONO | ... |
Sat, 30 Apr 2022 14:53:04 +0900 | Shinji KONO | ... |
Sat, 30 Apr 2022 10:48:23 +0900 | Shinji KONO | ... |