leanprover / elan

The Lean version manager
349Updated last month

Alternatives and similar repositories for elan:

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