Skip to content
GitLab
Explore
Sign in
Iris
Iron
Repository
iron
theories
algebra
vfrac_auth.v
Find file
Blame
History
Permalink
Bump Iris, make compatible with Coq master.
· f7c8b3a3
Robbert Krebbers
authored
Feb 01, 2019
f7c8b3a3