pitmonticone / LeanProject

Template for blueprint-driven formalization projects in Lean.
26Updated this week

Related projects

Alternatives and complementary repositories for LeanProject