issues
search
alexjbest
/
leaff
Leaff is a diff tool for Lean environments
Apache License 2.0
15
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update lean-toolchain
#9
alexjbest
closed
5 months ago
0
doc: clarify README
#8
alexkeizer
closed
7 months ago
0
chore: bump lean version to `v4.6.0-rc1`, and bump Std accordingly
#7
alexkeizer
closed
7 months ago
1
Identify changes in common attributes
#6
urkud
opened
8 months ago
1
Identify renamed lemmas
#5
urkud
opened
8 months ago
2
Detect changes between implicit and explicit arguments
#4
urkud
opened
8 months ago
0
Detect unimportant changes ("false positives") and don't report them
#3
urkud
opened
8 months ago
0
Differentiate between "proof changed" and "definition changed"
#2
urkud
opened
8 months ago
0
Pretty print changed types
#1
urkud
opened
8 months ago
0