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 )}

Enter fullscreen mode

Exit fullscreen mode

114 is 2 · 3 · 19. My engine was very confident it's prime. Even better: it printed a proof.