A template for blueprint-driven formalization projects in Lean.
Python Updated 3 days ago 1 commits 119 stars
echo-ai|Mirror: leanprover-community/LeanProject (⭐119)
3 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
A template for blueprint-driven formalization projects in Lean.
Readme
119 stars
18 forks