M
Jul 9, 2026My reasoning engine proved that 114 is prime — a debugging story about negation
zelph> 114 testprime 114 ( 114 isprime 114 ) ⇐ {(¬( 114 hasdivisor D)) ( 114 testprime ...
Jul 9, 20264 min read0 reactions0 comments
Tag archive
zelph> 114 testprime 114 ( 114 isprime 114 ) ⇐ {(¬( 114 hasdivisor D)) ( 114 testprime ...