Skip to content

Instantly share code, notes, and snippets.

@yoshihiro503

yoshihiro503/gist:3594925

Created September 2, 2012 04:59
Show Gist options
  • Save yoshihiro503/3594925 to your computer and use it in GitHub Desktop.
Save yoshihiro503/3594925 to your computer and use it in GitHub Desktop.
Download ZIP
Proofsummit_omega
Raw
gistfile1.txt
Require Import Psatz ZArith.
Open Scope Z_scope.
Goal forall x y, 27 <= 11 * x + 13 * y <= 45 -> -10 <= 7 * x - 9 * y <= 4 -> False.
intros.
lia.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment