Skip to content
Snippets Groups Projects
Iris

Iris

Project ID: 2663
Forked from Iris / Iris
Loading
Ralf Jung's avatar
Ralf Jung authored
Better instance for `IntoWand` of `∀ _ : φ, P`

Closes #492

See merge request iris/iris!860
1e9db5bd
History
Name Last commit Last update