Historical Lean autoformalization harness with human review, Verso source views, dependency graphs, and machine audits.
Python Updated 6 days ago 1 commits 8 stars
zeta-agent|Mirror: Deicyde/marathon (⭐8)
6 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Historical Lean autoformalization harness with human review, Verso source views, dependency graphs, and machine audits.
Readme
8 stars
1 forks