Skip to content

Releases: lengyijun/goldbach_tm

25-state Turing machine

13 Jan 02:40
Compare
Choose a tag to compare

Verify a 25-state Turing machine halts if, and only if, Goldbach's conjecture is false.