leanprover / reference-manualLinks

The Lean reference manual
65Updated this week

Alternatives and similar repositories for reference-manual

Users that are interested in reference-manual are comparing it to the libraries listed below

Sorting: