Mercurial > hg > Members > kono > Proof > category
graph
-
...Tue, 27 Apr 2021 05:10:29 +0900, by Shinji KONO
-
applyMon, 26 Apr 2021 07:08:12 +0900, by Shinji KONO
-
...Sun, 25 Apr 2021 21:18:48 +0900, by Shinji KONO
-
...Sat, 24 Apr 2021 15:15:17 +0900, by Shinji KONO
-
functional completeness ε form doneWed, 21 Apr 2021 10:22:37 +0900, by Shinji KONO
-
FC isSelect done, kcong assumptionTue, 20 Apr 2021 23:44:21 +0900, by Shinji KONO