Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
iris
Repository
iris-coq
ProofMode.md
Find file
Blame
History
Permalink
Update example in ProofMode.md
· 3f7f9f4e
Robbert Krebbers
authored
Apr 23, 2019
3f7f9f4e