lean-blueprint topic

List lean-blueprint repositories

LeanProject

24
Stars
2
Forks
Watchers

Template for blueprint-driven formalization projects in Lean.

verified publisher icon pitmonticone