mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
13 lines
110 B
Plaintext
13 lines
110 B
Plaintext
|
|
module Arith
|
|
|
|
use int.Int
|
|
|
|
goal G1: 0 = 1
|
|
|
|
use int.ComputerDivision
|
|
|
|
goal G2: div 1 0 = div 2 0
|
|
|
|
end
|