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