11244.why 55 Bytes
Newer Older
1 2 3 4 5 6 7 8
theory T1

  use import int.Int

  goal G: 1 = 2

end