Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
infinity axiom doneWed, 05 Jun 2019 18:24:32 +0900, by Shinji KONO
-
def ord conversionWed, 05 Jun 2019 14:35:32 +0900, by Shinji KONO
-
...Wed, 05 Jun 2019 09:47:19 +0900, by Shinji KONO
-
osuc work around doneWed, 05 Jun 2019 09:10:33 +0900, by Shinji KONO
-
split omax?Wed, 05 Jun 2019 07:05:48 +0900, by Shinji KONO
-
internal errorWed, 05 Jun 2019 03:21:47 +0900, by Shinji KONO
-
omax-induction does not workWed, 05 Jun 2019 02:58:17 +0900, by Shinji KONO