Skip to content
Snippets Groups Projects
Select Git revision
0 results
Compare
user avatar
Make f_equiv stronger.
Robbert Krebbers authored 
It no longer requires the functions on both sides of the relation
to be syntactically the same.
2c261344
History
user avatar 2c261344
History
Name Last commit Last update