docs/proof_guide.md · 3cd45dbc6bf7b1a7e30990df6396401526848c37 · Iris / Iris · GitLab

Skip to content

GitLab

Explore

Sign in

iris
docs
proof_guide.md

Blame Permalink

Nov 10, 2020
3cd45dbc

remove outdated 'm' metavaraibe; enable coq syntax highlighting · 3cd45dbc
Ralf Jung authored Nov 10, 2020

3cd45dbc

remove outdated 'm' metavaraibe; enable coq syntax highlighting
Ralf Jung authored Nov 10, 2020

Loading