Mercurial > hg > Members > kono > Proof > FirstOrder
log simple-logic.agda @ 11:17cd0e70e931
age | author | description |
---|---|---|
Thu, 13 Aug 2020 18:44:09 +0900 | Shinji KONO | starwars exmple |
age | author | description |
---|---|---|
Thu, 13 Aug 2020 18:44:09 +0900 | Shinji KONO | starwars exmple |