Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Wed, 11 Jan 2023 08:38:05 +0900 | Shinji KONO | ... |
Tue, 10 Jan 2023 18:12:05 +0900 | Shinji KONO | use different filter |
Tue, 10 Jan 2023 17:16:16 +0900 | Shinji KONO | ... |
Tue, 10 Jan 2023 09:29:58 +0900 | Shinji KONO | ... |
Tue, 10 Jan 2023 03:00:04 +0900 | Shinji KONO | ... |
Tue, 10 Jan 2023 02:19:08 +0900 | Shinji KONO | ... |
Mon, 09 Jan 2023 13:09:30 +0900 | Shinji KONO | ... |