Interactive amc-prove

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)