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
Lennard Gäher
Iris
Repository
20996da6726f7b3a0b8bb64e21ccad563dfc9801
Switch branch/tag
iris
theories
si_logic
siprop.v
Find file
Blame
History
Permalink
Type `siProp` for "plain" step-indexed propositions.
· 20996da6
Robbert Krebbers
authored
Aug 16, 2019
20996da6
