pitmonticone / LeanProjectLinks

Template for blueprint-driven formalization projects in Lean.
53Updated last week

Alternatives and similar repositories for LeanProject

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

Sorting: