Issues

• flip 0 and 1 , 能减少 state 吗 ?

  lengyijun/collatz_function#10 · Filter by author lengyijun opened on Feb 27, 2025
  1

• code golf in proof: main.lean, 8*2

  lengyijun/collatz_function#9 · Filter by author lengyijun opened on Feb 26, 2025

• rename state to make init state the first state

  lengyijun/collatz_function#8 · Filter by author lengyijun opened on Feb 24, 2025

• Is it possible to prove that, all 7-state, 2-symbol tm are not qualified ?

  lengyijun/collatz_function#7 · Filter by author lengyijun opened on Feb 24, 2025

• enhance cli simulater: print Nat when collatz calculate finish

  lengyijun/collatz_function#6 · Filter by author lengyijun opened on Feb 24, 2025

• nth_cfg = 1 <-> halt

  lengyijun/collatz_function#4 · Filter by author lengyijun opened on Feb 24, 2025