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
36654e769c49adaa99ef058223b7cb171f8d7808
Switch branch/tag
iris
theories
proofmode
environments.v
Find file
Blame
History
Permalink
Make iPureIntro able to introduce [bi_affinely (bi_pure P)] when the context is empty.
· 36654e76
Jacques-Henri Jourdan
authored
Feb 15, 2018
36654e76
