Mercurial > hg > Members > kono > Proof > category
graph
-
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
-
...Tue, 20 Apr 2021 15:59:28 +0900, by Shinji KONO