Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Ralf Jung
Iris
Repository
Branches
Overview
Active
Stale
All
prop-level-wand
8068093d
·
make Prop-level BI connectives notation for bi_emp_valid (rather than bi_entails)
·
May 07, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar