Search for blocks/addresses/...
Proofgold Proof
pf
Assume H0:
not
True
.
Apply notE with
True
leaving 2 subgoals.
The subproof is completed by applying H0.
The subproof is completed by applying TrueI.
■