GitHub repository: JLimperg/elan-cleanup
Primary language: Lean
Created: 2022-12-03T16:02:27Z
Description: A tool for cleaning up unused Lean toolchains