Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
Compare
Forked from Iris / Iris
Source project has a limited visibility.
user avatar
Better support for framing persistent hypotheses.
Robbert Krebbers authored 
- Allow framing of persistent hypotheses below the always modality.
- Allow framing of persistent hypotheses in just one branch of a
  disjunction.
bc065a40
History
user avatar bc065a40
History
Name Last commit Last update
..