leanprover / elanLinks

The Lean version manager
436Updated 2 weeks ago

Alternatives and similar repositories for elan

Users that are interested in elan are comparing it to the libraries listed below

Sorting: