Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Fri, 17 Jun 2022 23:19:19 +0900 | Shinji KONO | ind-mono |
Fri, 17 Jun 2022 21:50:50 +0900 | Shinji KONO | close this |
Fri, 17 Jun 2022 21:45:33 +0900 | Shinji KONO | dead end |
Fri, 17 Jun 2022 21:20:24 +0900 | Shinji KONO | ... |
Fri, 17 Jun 2022 18:45:08 +0900 | Shinji KONO | ... |
Fri, 17 Jun 2022 16:21:28 +0900 | Shinji KONO | ... |
Fri, 17 Jun 2022 11:42:01 +0900 | Shinji KONO | ... |