blob: 333fbb86d5a80d28ece8a0c01a29dd787ad1b350 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
1 subgoal
y1 := 0 : nat
x := 0 + 0 : nat
============================
x = x
1 subgoal
y1 := 0 : nat
y2 := 0 : nat
x := y2 + 0 : nat
============================
x = x
1 subgoal
y1 := 0 : nat
y2 := 0 : nat
y3 := 0 : nat
x := y2 + y3 : nat
============================
x = x
|
