Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
iris
bi
plainly.v
Find file
Blame
History
Permalink
Merge branch 'internal-eq-timeless' into 'master'
· 8f97d906
Robbert Krebbers
authored
Dec 24, 2020
Prove internal_eq_timeless See merge request
iris/iris!607
8f97d906