Mercurial > hg > Members > kono > Proof > automaton
log
age | author | description |
---|---|---|
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 | ... |
2021-01-04 | Shinji KONO | ... |
2021-01-04 | Shinji KONO | ... |
2021-01-04 | Shinji KONO | add even |
2021-01-02 | Shinji KONO | ... |
2021-01-02 | Shinji KONO | ( n k : ℕ ) → 1 < n → gcd n k ≤ n |
2021-01-02 | Shinji KONO | ... |
2021-01-02 | Shinji KONO | ... |
2021-01-01 | Shinji KONO | ... gcd (i + j) j ≡ gcd i j |
2021-01-01 | Shinji KONO | ... |
2021-01-01 | Shinji KONO | ... |
2021-01-01 | Shinji KONO | ... |
2021-01-01 | Shinji KONO | ... |
2021-01-01 | Shinji KONO | non terminating GCD |
2020-12-31 | Shinji KONO | ... |
2020-12-30 | Shinji KONO | ... |
2020-12-30 | Shinji KONO | ... |
2020-12-29 | Shinji KONO | ... |
2020-12-29 | Shinji KONO | ... |
2020-12-29 | Shinji KONO | ... |
2020-12-28 | Shinji KONO | ... |
2020-12-27 | Shinji KONO | clean up |
2020-03-14 | Shinji KONO | utm tester |
2020-03-14 | Shinji KONO | add utm |
2019-12-18 | Shinji KONO | ... |
2019-11-24 | Shinji KONO | clean up |
2019-11-24 | Shinji KONO | fin-< using data done |
2019-11-24 | Shinji KONO | ... |
2019-11-24 | Shinji KONO | ... |
2019-11-24 | Shinji KONO | ... |
2019-11-24 | Shinji KONO | ... |
2019-11-24 | Shinji KONO | ... |
2019-11-24 | Shinji KONO | ... |