Word count: 59
Following my last post announcing amc-prove, I decided I’d make it more accessible to people who wouldn’t like to spend almost 10 minutes compiling Haskell code just to play with a fiddly prover.
So I made a web interface for the thing: Play with it below.
Text immediately following > is editable.
> (not P) + (not Q) -> not (P * Q)