Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
iris_unsafe.v
Find file
Blame
History
Permalink
Restated robust safety in a user-friendly and more general way.
· e0d006fe
David Swasey
authored
Feb 18, 2015
e0d006fe