Skip to content
GitLab
Explore
Sign in
Hugo Herbelin
iris-coq
Repository
iris-coq
ProofMode.md
Find file
Blame
History
Permalink
Tweak the proof mode docs.
· 19f88e47
Robbert Krebbers
authored
Oct 27, 2017
19f88e47