issues
search
alexjbest
/
leaff
Leaff is a diff tool for Lean environments
Apache License 2.0
15
stars
1
forks
source link
Detect unimportant changes ("false positives") and don't report them
#3
Open
urkud
opened
9 months ago
urkud
commented
9 months ago
Some ideas that come to mind:
[ ] the old and new definition differ only in the names of universe parameters;
Some ideas that come to mind: