Differentiate between "proof changed" and "definition changed"

alexjbest / leaff

Leaff is a diff tool for Lean environments

Apache License 2.0

15 stars 1 forks source link

Open urkud opened 9 months ago

urkud commented 9 months ago

[ ] Report theorems with changed proofs and defs with changed definition bodies differently.
[ ] Add an option to hide all "proof changed" (but not "definition changed"!) reports.