Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Iris
Iris
Merge Requests
!556
Merged
Opened
Oct 28, 2020
by
Paolo G. Giarrusso
@Blaisorblade
Contributor
Options
Strengthen persistent_sep_dup for intuitionistic propositions
Overview
36
Commits
2
Changes
3
👍
1
👎
0
