Members/kono/Proof/automaton: revision graph

graph

less more | rev 223: (0) -100 -50 -24 +24 +50 +100 tip

... give up
2021-06-22, by Shinji KONO
...
2021-06-22, by Shinji KONO
...
2021-06-22, by Shinji KONO
...
2021-06-21, by Shinji KONO
...
2021-06-21, by Shinji KONO
...
2021-06-21, by Shinji KONO
NInduction
2021-06-21, by Shinji KONO
...
2021-06-21, by Shinji KONO
...
2021-06-21, by Shinji KONO
gcd-dividable done
2021-06-21, by Shinji KONO
...
2021-06-20, by Shinji KONO
...
2021-06-20, by Shinji KONO
...
2021-06-20, by Shinji KONO
max
2021-06-20, by Shinji KONO
... f-induction
2021-06-20, by Shinji KONO
...
2021-06-20, by Shinji KONO
...
2021-06-19, by Shinji KONO
...
2021-06-19, by Shinji KONO
...
2021-06-18, by Shinji KONO
<fact done
2021-06-18, by Shinji KONO
another method on fact<
2021-06-18, by Shinji KONO
...
2021-06-18, by Shinji KONO
...
2021-06-18, by Shinji KONO
...
2021-06-17, by Shinji KONO

less more | rev 223: (0) -100 -50 -24 +24 +50 +100 tip