Skip to content
Snippets Groups Projects
user avatar
Robbert Krebbers authored
It now turns setoid equalities into Leibniz equalities when possible,
and substitutes those.
a9173997
History
Name Last commit Last update
theories