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