Identify changes in common attributes

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

[ ] deprecated theorems and definitions; may need some integration with #5 for the common case "abc renamed to cde, the old name is restored as a deprecated alias";
[x] simp
[ ] attributes created with register_simp_attr

urkud commented 9 months ago

It looks like at least simp works.