Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!296
Clearer statement for propositional extensionality
Code
Review changes
Check out branch
Download
Patches
Plain diff
Paolo G. Giarrusso
requested to merge
Blaisorblade/iris:prop_ext_clearer
into
master
Aug 06, 2019
Overview
7
Commits
2
Pipelines
0
Changes
5
Expand
Merge request reports