search

alexjbest / leaff

Leaff is a diff tool for Lean environments
Apache License 2.0
15 stars 1 forks source link

Update lean-toolchain #9

Closed alexjbest closed 6 months ago