pitmonticone / LeanProject

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

Alternatives and similar repositories for LeanProject:

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