http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/kono/Proof/ZF-in-agda/
Members/kono/Proof/ZF-in-agda: branches
Members/kono/Proof/ZF-in-agda branch history
Mercurial SCM
2024-01-03T19:29:23+09:00
default
http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/kono/Proof/ZF-in-agda/#branch-484f83b04b5da79b7e03d9ef0dd4a8c0af3c308e
2024-01-03T19:29:23+09:00
2024-01-03T19:29:23+09:00
default
release
http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/kono/Proof/ZF-in-agda/#branch-454bf7194b8a271c2a93742bceaac2fbd428a023
2022-06-06T17:19:24+09:00
2022-06-06T17:19:24+09:00
release