Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Sun, 07 Jun 2020 20:31:30 +0900 | Shinji KONO | axiom of choice clean up release |
age | author | description |
---|---|---|
Sun, 07 Jun 2020 20:31:30 +0900 | Shinji KONO | axiom of choice clean up release |