My reasoning engine proved that 114 is prime — a debugging story about negation
zelph> 114 testprime 114 ( 114 isprime 114 ) ⇐ {(¬( 114 hasdivisor D)) ( 114 testprime 114 )} 114 is 2 · 3 · 19. My engine was very confident it's …
Latest Testing & QA news from Tech News
zelph> 114 testprime 114 ( 114 isprime 114 ) ⇐ {(¬( 114 hasdivisor D)) ( 114 testprime 114 )} 114 is 2 · 3 · 19. My engine was very confident it's …