Rare find

LeanProject. A template for blueprint-driven formalization projects in Lean.

github.com/leanprover-community/LeanProject

@leanprover-community

Problem

Audience

Updates

No founder updates yet. Check back soon.