leanprover / elanLinks

The Lean version manager
411Updated 2 months ago

Alternatives and similar repositories for elan

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

Sorting: