Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!73
Notation for disjointness: replace ⊥ with ##, so that ⊥ can be used for bottom.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jacques-Henri Jourdan
requested to merge
jh/bottom_notation
into
master
Oct 27, 2017
Overview
1
Commits
1
Pipelines
0
Changes
17
Expand
The commit needs to be amended to bump up the ref to coq stdpp.
Edited
Oct 28, 2017
by
Jacques-Henri Jourdan
Merge request reports