Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
iris
hoare.v
Find file
Blame
History
Permalink
Fix typo in scopes for notations of triples.
· c9ae33d4
Robbert Krebbers
authored
Jan 18, 2016
c9ae33d4