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
Lennard Gäher
Iris
Repository
iris
theories
algebra
ofe.v
Find file
Blame
History
Permalink
Mark projections for sigTO as NonExpansive and Proper
· 53a18cf8
Paolo G. Giarrusso
authored
Jul 13, 2019
and
Robbert Krebbers
committed
Jul 13, 2019
53a18cf8