graph

  • 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
  • ...
    2021-06-17, by Shinji KONO
  • gcd done
    2021-06-17, by Shinji KONO
  • ...
    2021-06-17, by Shinji KONO
  • ...
    2021-06-17, by Shinji KONO
  • ... remove f>1
    2021-06-17, by Shinji KONO
  • ...
    2021-06-16, by Shinji KONO
  • dividable reorganzaiton
    2021-06-15, by Shinji KONO
  • ...
    2021-06-15, by Shinji KONO
  • fix decf
    2021-06-15, by Shinji KONO
  • ...
    2021-06-15, by Shinji KONO
  • expanding record does not work
    2021-06-14, by Shinji KONO
  • ...
    2021-06-14, by Shinji KONO
  • ...
    2021-06-14, by Shinji KONO
  • even→gcd
    2021-06-13, by Shinji KONO
  • ...
    2021-06-13, by Shinji KONO
  • Finduction
    2021-06-13, by Shinji KONO
  • fix
    2021-06-13, by Shinji KONO
  • reorganization
    2021-06-13, by Shinji KONO
  • ...
    2021-03-18, by Shinji KONO
  • ...
    2021-03-17, by Shinji KONO
  • halting problem done
    2021-03-17, by Shinji KONO
  • ...
    2021-03-17, by Shinji KONO
  • TNL in halting problem
    2021-03-16, by Shinji KONO
  • ...
    2021-03-14, by Shinji KONO
  • ...
    2021-03-14, by Shinji KONO
  • ..`
    2021-03-14, by Shinji KONO
  • bij
    2021-03-13, by Shinji KONO
  • ...
    2021-03-13, by Shinji KONO
  • ...
    2021-03-13, by Shinji KONO
  • ...
    2021-03-13, by Shinji KONO
  • ...
    2021-03-13, by Shinji KONO
  • ...
    2021-03-13, by Shinji KONO
  • ...
    2021-03-13, by Shinji KONO
  • ...
    2021-03-12, by Shinji KONO
  • ...
    2021-03-12, by Shinji KONO
  • ...
    2021-03-12, by Shinji KONO
  • ...
    2021-01-13, by Shinji KONO
  • ...
    2021-01-04, by Shinji KONO
  • ...
    2021-01-04, by Shinji KONO
  • ...
    2021-01-04, by Shinji KONO
  • add even
    2021-01-04, by Shinji KONO
  • ...
    2021-01-02, by Shinji KONO
  • ( n k : ℕ ) → 1 < n → gcd n k ≤ n
    2021-01-02, by Shinji KONO
  • ...
    2021-01-02, by Shinji KONO
  • ...
    2021-01-02, by Shinji KONO
  • ... gcd (i + j) j ≡ gcd i j
    2021-01-01, by Shinji KONO
  • ...
    2021-01-01, by Shinji KONO
  • ...
    2021-01-01, by Shinji KONO
  • ...
    2021-01-01, by Shinji KONO
  • ...
    2021-01-01, by Shinji KONO
  • non terminating GCD
    2021-01-01, by Shinji KONO
  • ...
    2020-12-31, by Shinji KONO
  • ...
    2020-12-30, by Shinji KONO
  • ...
    2020-12-30, by Shinji KONO
  • ...
    2020-12-29, by Shinji KONO
  • ...
    2020-12-29, by Shinji KONO
  • ...
    2020-12-29, by Shinji KONO
  • ...
    2020-12-28, by Shinji KONO
  • clean up
    2020-12-27, by Shinji KONO
  • utm tester
    2020-03-14, by Shinji KONO
  • add utm
    2020-03-14, by Shinji KONO
  • ...
    2019-12-18, by Shinji KONO
  • clean up
    2019-11-24, by Shinji KONO
  • fin-< using data done
    2019-11-24, by Shinji KONO
  • ...
    2019-11-24, by Shinji KONO
  • ...
    2019-11-24, by Shinji KONO
  • ...
    2019-11-24, by Shinji KONO
  • ...
    2019-11-24, by Shinji KONO
  • ...
    2019-11-24, by Shinji KONO
  • ...
    2019-11-24, by Shinji KONO
  • bad direction on fin-<
    2019-11-23, by Shinji KONO
  • ..
    2019-11-23, by Shinji KONO
  • add some files
    2019-11-23, by Shinji KONO
  • finite done
    2019-11-22, by Shinji KONO
  • ...
    2019-11-22, by Shinji KONO
  • clean up
    2019-11-22, by Shinji KONO
  • F2L-iso done
    2019-11-22, by Shinji KONO
  • ...
    2019-11-22, by Shinji KONO
  • ...
    2019-11-21, by Shinji KONO
  • finite
    2019-11-20, by Shinji KONO
  • ...
    2019-11-20, by Shinji KONO
  • fin-∨' almost finished
    2019-11-20, by Shinji KONO
  • ...
    2019-11-19, by Shinji KONO
  • ...
    2019-11-19, by Shinji KONO
  • ...
    2019-11-18, by Shinji KONO
  • finite-or
    2019-11-18, by Shinji KONO
  • ...
    2019-11-18, by Shinji KONO
  • finite
    2019-11-18, by Shinji KONO
  • finite
    2019-11-18, by Shinji KONO
  • clean up
    2019-11-17, by Shinji KONO
  • closed-in-concat← done
    2019-11-17, by Shinji KONO
  • case1 done
    2019-11-17, by Shinji KONO
  • ...
    2019-11-17, by Shinji KONO
  • ab-case
    2019-11-16, by Shinji KONO
  • ... state-A is not necessary?
    2019-11-15, by Shinji KONO
  • use exists in cond, nfa example
    2019-11-13, by Shinji KONO
  • ...
    2019-11-13, by Shinji KONO
  • inspect
    2019-11-12, by Shinji KONO
  • ...
    2019-11-12, by Shinji KONO
  • roll back
    2019-11-12, by Shinji KONO
  • ...
    2019-11-11, by Shinji KONO
  • ...
    2019-11-11, by Shinji KONO
  • ...
    2019-11-11, by Shinji KONO
  • ...
    2019-11-11, by Shinji KONO
  • ...
    2019-11-10, by Shinji KONO
  • ...
    2019-11-10, by Shinji KONO
  • ...
    2019-11-10, by Shinji KONO
  • ...
    2019-11-10, by Shinji KONO
  • ...
    2019-11-10, by Shinji KONO