Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Register
Sign in
Toggle navigation
Menu
Iris
stdpp
Merge requests
!110
Add decidability instances for Z.gt and Z.ge
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Tej Chajed
requested to merge
tchajed/stdpp:z-greater-decidability
into
master
Feb 13, 2020
Overview
1
Commits
1
Pipelines
0
Changes
1
Unfortunately these are not just defined as flipped versions of
Z.lt
and
Z.ge
.