Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Iris
Iris
Repository
iris
logic
upred.v
Find file
Blame
History
Permalink
Define some flipped monotonicity Propers for binary uPred connectives.
· f402c1cc
Robbert Krebbers
authored
Feb 04, 2016
No idea why these aren't resolved automatically, for unary predicates they do not seem necesarry.
f402c1cc
