leanprover / versoLinks

Lean documentation authoring tool
167Updated this week

Alternatives and similar repositories for verso

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

Sorting: