leanblueprint topic
List
leanblueprint repositories
LeanProject
24
Stars
2
Forks
Watchers
Template for blueprint-driven formalization projects in Lean.
