Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
CHANGELOG.md
Find file
Blame
History
Permalink
Strengthen persistent_sep_dup for intuitionistic propositions
· 13c5c1ad
Paolo G. Giarrusso
authored
Nov 05, 2020
and
Ralf Jung
committed
Nov 05, 2020
13c5c1ad
To find the state of this project's repository at the time of any of these versions, check out
the tags
.