This repository has been archived by the owner on Jan 17, 2022. It is now read-only.

Invalid proof found #4

Closed

goerch opened this issue Apr 25, 2014 · 1 comment

goerch commented Apr 25, 2014

The program finds a proof for

(forall x. forsome y. P(x,y)) implies (forsome y. forall x. P(x,y))

Owner

stepchowfun commented Jul 2, 2014

Fixed by eeae01c.

stepchowfun closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.