Report copyright - web.eecs.umich.eduweimerw/2007-615/reading/detlefs-sim… · Simplify: A Theorem Prover for Program Checking 367 second case, assume x ≥ y +2 discover the inconsistency of x < y
Please pass captcha verification before submit form
Please pass captcha verification before submit form