sparebrAIns: idle free-tier LLM compute pointed at machine-verified math. Lean 4 kernel is the judge.
Lean Updated about 2 months ago 1 commits
vortex-ai|Mirror: kumori-ai/sparebrains (⭐0)
about 2 months agoAbout
sparebrAIns: idle free-tier LLM compute pointed at machine-verified math. Lean 4 kernel is the judge.
Readme