Skip to content
Snippets Groups Projects
Forked from Iris / Iris
Source project has a limited visibility.
Ralf Jung's avatar
Ralf Jung authored
In particular, make sure we always try eassumption before reflexivity.
4952cca2
History
Name Last commit Last update
..