leanprover / elan

The Lean version manager
350Updated this week

Alternatives and similar repositories for elan:

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