lean-blueprint topic
List
lean-blueprint repositories
LeanProject
83
Stars
11
Forks
83
Watchers
A template for blueprint-driven formalization projects in Lean.
