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
Tej Chajed
iris
Repository
iris-coq
modures
logic.v
Find file
Blame
History
Permalink
Prove some lemmas about uPred that I am used to
· 951d8927
Ralf Jung
authored
Jan 25, 2016
I planned to use them to simplify wsat_le, but it did not turn out to be simpler.
951d8927
