Mercurial > hg > Members > kono > Proof > automaton
log
age | author | description |
---|---|---|
2021-06-22 | Shinji KONO | ... |
2021-06-21 | Shinji KONO | ... |
2021-06-21 | Shinji KONO | ... |
2021-06-21 | Shinji KONO | ... |
2021-06-21 | Shinji KONO | NInduction |
2021-06-21 | Shinji KONO | ... |
2021-06-21 | Shinji KONO | ... |
2021-06-21 | Shinji KONO | gcd-dividable done |
2021-06-20 | Shinji KONO | ... |
2021-06-20 | Shinji KONO | ... |
2021-06-20 | Shinji KONO | ... |
2021-06-20 | Shinji KONO | max |
2021-06-20 | Shinji KONO | ... f-induction |
2021-06-20 | Shinji KONO | ... |
2021-06-19 | Shinji KONO | ... |
2021-06-19 | Shinji KONO | ... |
2021-06-18 | Shinji KONO | ... |
2021-06-18 | Shinji KONO | <fact done |
2021-06-18 | Shinji KONO | another method on fact< |
2021-06-18 | Shinji KONO | ... |
2021-06-18 | Shinji KONO | ... |
2021-06-17 | Shinji KONO | ... |
2021-06-17 | Shinji KONO | ... |
2021-06-17 | Shinji KONO | gcd done |
2021-06-17 | Shinji KONO | ... |
2021-06-17 | Shinji KONO | ... |
2021-06-17 | Shinji KONO | ... remove f>1 |
2021-06-16 | Shinji KONO | ... |
2021-06-15 | Shinji KONO | dividable reorganzaiton |
2021-06-15 | Shinji KONO | ... |
2021-06-15 | Shinji KONO | fix decf |
2021-06-15 | Shinji KONO | ... |
2021-06-14 | Shinji KONO | expanding record does not work |
2021-06-14 | Shinji KONO | ... |
2021-06-14 | Shinji KONO | ... |
2021-06-13 | Shinji KONO | even→gcd |
2021-06-13 | Shinji KONO | ... |
2021-06-13 | Shinji KONO | Finduction |
2021-06-13 | Shinji KONO | fix |
2021-06-13 | Shinji KONO | reorganization |
2021-03-18 | Shinji KONO | ... |
2021-03-17 | Shinji KONO | ... |
2021-03-17 | Shinji KONO | halting problem done |
2021-03-17 | Shinji KONO | ... |
2021-03-16 | Shinji KONO | TNL in halting problem |
2021-03-14 | Shinji KONO | ... |
2021-03-14 | Shinji KONO | ... |
2021-03-14 | Shinji KONO | ..` |
2021-03-13 | Shinji KONO | bij |
2021-03-13 | Shinji KONO | ... |
2021-03-13 | Shinji KONO | ... |
2021-03-13 | Shinji KONO | ... |
2021-03-13 | Shinji KONO | ... |
2021-03-13 | Shinji KONO | ... |
2021-03-13 | Shinji KONO | ... |
2021-03-12 | Shinji KONO | ... |
2021-03-12 | Shinji KONO | ... |
2021-03-12 | Shinji KONO | ... |
2021-01-13 | Shinji KONO | ... |
2021-01-04 | Shinji KONO | ... |