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