Geeks
JLimperg
/
elan-cleanup
A tool for cleaning up unused Lean toolchains
Primary Language
Lean
Apache License 2.0
Apache-2.0
elan-cleanup GitHub
Markdown
Readme
0
Issues
4
Stargazers
2
Watchers
Stargazers
chabulhwi
Semmalgil
joneugster
Düsseldorf, DE
utensil