Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
iris
Repository
iris-coq
CHANGELOG.md
Find file
Blame
History
Permalink
Adding a constructor for reflexive transitive closures into bi's
· 3a6d86f4
Jonas Kastberg
authored
Feb 14, 2020
and
Robbert Krebbers
committed
Feb 14, 2020
3a6d86f4
To find the state of this project's repository at the time of any of these versions, check out
the tags
.