ProofMode.md · f774d316a0c3f62f1bfc908126aab900e7d5cb08 · Rodolphe Lepigre / Iris · GitLab

Skip to content

GitLab

Explore

Sign in

iris
ProofMode.md

Blame Permalink

Sep 27, 2016
f774d316

Extend iClear to handle clearing of Coq-level variables. · f774d316
Robbert Krebbers authored Sep 27, 2016

f774d316

Extend iClear to handle clearing of Coq-level variables.
Robbert Krebbers authored Sep 27, 2016

Loading