Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sun, 26 Nov 2017 16:00:54 +0900 | Shinji KONO | ... |
Sun, 26 Nov 2017 14:33:12 +0900 | Shinji KONO | fill proofs |
Sun, 26 Nov 2017 10:59:38 +0900 | Shinji KONO | Free Theorem complete |