Template for blueprint-driven formalization projects in Lean.
theorem-proving
mathematics
proof-assistant
formal-mathematics
mathematical-programming
lean-theorem-prover
lean4
formalisation-mathematics
lean-blueprint
formalised-mathematics
leanblueprint
-
Updated
Nov 14, 2024 - Python