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