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