Skip to content
GitLab
Explore
Sign in
iris
CHANGELOG.md
Find file
Blame
History
Permalink
fix a lemma being accidentally about the wrong fixpoint...
· 3bc2d2a3
Ralf Jung
authored
Aug 11, 2023
3bc2d2a3
To find the state of this project's repository at the time of any of these versions, check out
the tags
.