fwdP_spec (Paper Lemma 3 (single-field move) in the framework's stack-disciplined form)

Initializing...

fwdP_spec (Paper Lemma 3 (single-field move) in the framework's stack-disciplined form) · Prove2Me