Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
iris_unsafe.v
Find file
Blame
History
Permalink
Ownership is timeless.
· 730a9f4a
David Swasey
authored
Feb 21, 2015
730a9f4a