Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
iris_meta.v
Find file
Blame
History
Permalink
Typo in statement of lift_pure_step.
· c84fed03
David Swasey
authored
Feb 22, 2015
c84fed03