Commit 1a17276b authored by Robbert Krebbers's avatar Robbert Krebbers

And another one.

parent 7d30ec04
Pipeline #1996 passed with stage
......@@ -140,7 +140,7 @@ which results in:
x : nat
H : x = 0
______________________________________(1/1)
"HQ" : Q
"HQ" : Q
"HR" : R
--------------------------------------□
R ★ Q ∧ x = 1
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment