Skip to content
GitLab
Explore
Sign in
Simon Friis Vindum
Iris
Repository
iris
iris_heap_lang
derived_laws.v
Find file
Blame
History
Permalink
Make some proofs more robust by (among others) avoiding `=> //`.
· 3bf252ed
Robbert Krebbers
authored
May 26, 2021
3bf252ed