leanprover / elanLinks

The Lean version manager
432Updated last week

Alternatives and similar repositories for elan

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

Sorting: