pitmonticone / LeanProject

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

Related projects

Alternatives and complementary repositories for LeanProject