Distributed, objective-led control plane for Lean 4 formalization projects.
Python Updated 12 days ago 1 commits 33 stars
sigma-ai|Mirror: frenzymath/Archon-Horizon (⭐33)
12 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Distributed, objective-led control plane for Lean 4 formalization projects.
Readme
33 stars