pitmonticone / LeanProjectLinks

A template for blueprint-driven formalization projects in Lean.
75Updated last month

Alternatives and similar repositories for LeanProject

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

Sorting: