Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
leaff
Leaff is a diff tool for Lean environments
Lean
Emerging
lean
lean4
GitHub
Stars
25
Forks
2
Contributors
2
Last push
17mo ago
Recent commits
Latest commits.
Revert "bump"
0e44736
Alex J. Best
17mo ago
bump
e83974a
Alex J. Best
17mo ago
update
234aa2d
Alex J Best
22mo ago
bump
0449d86
Alex J Best
25mo ago
Merge pull request #9 from alexjbest/alexjbest-patch-1
0b90a79
Alex J Best
26mo ago
fix
17b25df
Alex J Best
26mo ago
Update lean-toolchain
7da67f7
Alex J Best
26mo ago
Merge pull request #7 from opencompl/bump-lean-version
1299ef3
Alex J Best
29mo ago
Top contributors
Builders behind this project.
alexjbest
55 commits
alexkeizer
2 commits
