Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Jonas Kastberg
iris
Repository
1c9e858188578a65bf014ed8a8a9404f87054848
Switch branch/tag
iris-coq
theories
prelude
decidable.v
Find file
Blame
History
Permalink
add decide_left, decide_right
· 1c9e8581
Ralf Jung
authored
Dec 19, 2016
1c9e8581
Ralf Jung authored1c9e8581