Distributed, objective-led control plane for Lean 4 formalization projects.
Python Updated about 1 month ago 1 commits 33 stars
sigma-ai|Mirror: frenzymath/Archon-Horizon (⭐33)
about 1 month 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