Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Thu, 02 Mar 2023 12:42:22 +0800 | kono | ... |
Thu, 02 Mar 2023 11:09:02 +0800 | kono | ... |
Wed, 01 Mar 2023 16:34:41 +0900 | Shinji KONO | fix README |
Wed, 01 Mar 2023 10:42:05 +0900 | Shinji KONO | clean up |
Wed, 01 Mar 2023 09:00:11 +0900 | Shinji KONO | fip <-> compact done |
Wed, 01 Mar 2023 00:37:34 +0900 | Shinji KONO | ... almost |
Tue, 28 Feb 2023 22:33:13 +0900 | Shinji KONO | ... |