Skip to content
Snippets Groups Projects
Select Git revision
0 results
Compare
Forked from Iris / Iris
Loading
user avatar
Improve leibniz_equiv and f_equiv.
Robbert Krebbers authored 
It now turns setoid equalities into Leibniz equalities when possible,
and substitutes those.
714cc8ca
History
user avatar 714cc8ca
History
Name Last commit Last update