Template for blueprint-driven formalization projects in Lean.
Primary LanguagePythonApache License 2.0Apache-2.0
No one’s watching this repository yet.