int.why 110 Bytes
Newer Older
1 2 3 4 5
theory Test
  use import int.Int
  goal G1 : 5 * 10 = 50
  goal G2 : forall x:int. x + x - x + x  = 2 * x
end