Members/kono/Proof/ZF-in-agda: revision graph

graph

less more | rev 782: (0) -300 -100 -50 -30 +30 +50 +100 +300 tip

...
Mon, 01 Aug 2022 09:38:00 +0900, by Shinji KONO
...
Sun, 31 Jul 2022 19:45:40 +0900, by Shinji KONO
sup=SUP is no good
Sun, 31 Jul 2022 17:57:15 +0900, by Shinji KONO
...
Fri, 29 Jul 2022 02:38:37 +0900, by Shinji KONO
...
Thu, 28 Jul 2022 10:01:43 +0900, by Shinji KONO
...
Thu, 28 Jul 2022 09:10:36 +0900, by Shinji KONO
...
Tue, 26 Jul 2022 20:09:43 +0900, by Shinji KONO
...
Tue, 26 Jul 2022 18:24:04 +0900, by Shinji KONO
...
Tue, 26 Jul 2022 15:14:35 +0900, by Shinji KONO
...
Tue, 26 Jul 2022 14:31:53 +0900, by Shinji KONO
...
Tue, 26 Jul 2022 10:07:42 +0900, by Shinji KONO
...
Tue, 26 Jul 2022 03:37:25 +0900, by Shinji KONO
...
Tue, 26 Jul 2022 00:09:11 +0900, by Shinji KONO
...
Mon, 25 Jul 2022 23:38:38 +0900, by Shinji KONO
...
Mon, 25 Jul 2022 22:53:11 +0900, by Shinji KONO
spi <= u
Mon, 25 Jul 2022 22:27:15 +0900, by Shinji KONO
...
Mon, 25 Jul 2022 21:21:29 +0900, by Shinji KONO
...
Mon, 25 Jul 2022 18:13:43 +0900, by Shinji KONO
< is wrong
Mon, 25 Jul 2022 17:53:18 +0900, by Shinji KONO
...
Mon, 25 Jul 2022 16:36:36 +0900, by Shinji KONO
...
Mon, 25 Jul 2022 14:56:49 +0900, by Shinji KONO
edge case done
Mon, 25 Jul 2022 08:29:15 +0900, by Shinji KONO
...
Mon, 25 Jul 2022 06:41:40 +0900, by Shinji KONO
...
Sun, 24 Jul 2022 19:01:24 +0900, by Shinji KONO
is-max on first transfinite induction is not good
Sun, 24 Jul 2022 16:40:35 +0900, by Shinji KONO
...
Sun, 24 Jul 2022 15:25:08 +0900, by Shinji KONO
...
Sun, 24 Jul 2022 12:07:11 +0900, by Shinji KONO
u < osuc x
Sun, 24 Jul 2022 09:42:02 +0900, by Shinji KONO
...
Sat, 23 Jul 2022 18:40:35 +0900, by Shinji KONO
close
Sat, 23 Jul 2022 17:19:39 +0900, by Shinji KONO

less more | rev 782: (0) -300 -100 -50 -30 +30 +50 +100 +300 tip

Mercurial > hg > Members > kono > Proof > ZF-in-agda

graph