Mercurial > hg > Members > kono > Proof > ZF-in-agda
log fig/axiom-dependency.svg @ 925:babd8ac79a91
age | author | description |
---|---|---|
Sat, 11 Jan 2020 20:11:51 +0900 | Shinji KONO | add documents |
age | author | description |
---|---|---|
Sat, 11 Jan 2020 20:11:51 +0900 | Shinji KONO | add documents |