Report copyright - web.eecs.umich.edu · Simplify: A Theorem Prover for Program Checking 367 second case, assume x ≥ y +2 discover the inconsistency of x < y ∧x ≥ y +2 backtrack from the second
Please pass captcha verification before submit form
Please pass captcha verification before submit form