Mercurial > hg > Members > kono > Proof > ZF-in-agda
log src/zorn1.agda @ 930:0e0608b1953b
age | author | description |
---|---|---|
Sun, 23 Oct 2022 23:29:30 +0900 | Shinji KONO | ... base src/zorn.agda@4dd607047bb5 |
age | author | description |
---|---|---|
Sun, 23 Oct 2022 23:29:30 +0900 | Shinji KONO | ... base src/zorn.agda@4dd607047bb5 |