Skip to content
GitLab
Explore
Sign in
Simon Friis Vindum
ReLoC
Repository
reloc
theories
prelude
properness.v
Find file
Blame
History
Permalink
Bump Iris, and remove some stuff that's in Iris now.
· 2943146f
Robbert Krebbers
authored
Jan 27, 2020
2943146f