Forked from
Iris / Iris
Source project has a limited visibility.
Ralf Jung
authored
Add introduction pattern `-# pat` to move a hypothesis to the spatial context Closes #213 See merge request iris/iris!370
| Name | Last commit | Last update |
|---|---|---|
| .. | ||