Mercurial > hg > Members > kono > Proof > FirstOrder
log clausal.agda @ 18:6cd5b63ecc38
age | author | description |
---|---|---|
Sat, 22 Aug 2020 13:34:12 +0900 | Shinji KONO | replace syntax |
Sat, 15 Aug 2020 17:15:14 +0900 | Shinji KONO | ... |
Sat, 15 Aug 2020 16:59:52 +0900 | Shinji KONO | fix example current |
Sat, 15 Aug 2020 11:51:03 +0900 | Shinji KONO | ... |
Sat, 15 Aug 2020 11:28:18 +0900 | Shinji KONO | ... |
Sat, 15 Aug 2020 11:03:32 +0900 | Shinji KONO | continuation based skolem |
Sat, 15 Aug 2020 10:18:55 +0900 | Shinji KONO | add clausal form transformation |