Members/kono/Proof/category: revision graph

functional completeness ε form done
Wed, 21 Apr 2021 10:22:37 +0900, by Shinji KONO
FC isSelect done, kcong assumption
Tue, 20 Apr 2021 23:44:21 +0900, by Shinji KONO
...
Tue, 20 Apr 2021 15:59:28 +0900, by Shinji KONO
...
Mon, 19 Apr 2021 23:12:17 +0900, by Shinji KONO
...
Mon, 19 Apr 2021 17:42:59 +0900, by Shinji KONO
...
Mon, 19 Apr 2021 16:05:52 +0900, by Shinji KONO
...
Mon, 19 Apr 2021 09:21:59 +0900, by Shinji KONO
...
Mon, 19 Apr 2021 07:50:21 +0900, by Shinji KONO
...
Mon, 19 Apr 2021 05:21:41 +0900, by Shinji KONO
...
Mon, 19 Apr 2021 04:49:28 +0900, by Shinji KONO
... Polynominal arg type
Sun, 18 Apr 2021 20:45:44 +0900, by Shinji KONO
...
Sun, 18 Apr 2021 18:11:41 +0900, by Shinji KONO
...
Sun, 18 Apr 2021 11:19:15 +0900, by Shinji KONO
...
Sun, 18 Apr 2021 11:00:21 +0900, by Shinji KONO

Mercurial > hg > Members > kono > Proof > category