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
Have the `[$]` pattern succeed if the premise is `True` or `emp`.
Robbert Krebbers authored 
In the same way that `iFrame` would succeed on said goals.
307d0084
History
user avatar 307d0084
History
Name Last commit Last update