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 ...

Raccontata dadev.to