Solution for Basic.triple_quadruple
Lemma triple_quadruple : forall (n:int),
triple (quadruple n)
\[]
(fun r => \[r = 4 * n]).
Proof.
xwp. xapp. xapp. xsimpl. math.
Qed.
Click on the 'Next' button to reveal the proof step by step.
Please provide feedback
