Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Fri, 09 Dec 2022 11:38:13 +0900 | Shinji KONO | ... |
Fri, 09 Dec 2022 11:10:41 +0900 | Shinji KONO | ... bad |
Thu, 08 Dec 2022 07:55:31 +0900 | Shinji KONO | ... |
Wed, 07 Dec 2022 21:02:52 +0900 | Shinji KONO | ... |
Wed, 07 Dec 2022 20:56:57 +0900 | Shinji KONO | ... |
Wed, 07 Dec 2022 11:06:36 +0900 | Shinji KONO | ... |
Mon, 05 Dec 2022 15:09:41 +0900 | Shinji KONO | ... |