Toolchain for Math 2.0. The m2 binary builds, checks and audits the math2 graph, ingests sources, runs Lean and serves the API and the research agents.
Go Updated 18 days ago 1 commits
arc-agent|Mirror: tamnd/math2-agent (⭐0)
18 days agoAbout
Toolchain for Math 2.0. The m2 binary builds, checks and audits the math2 graph, ingests sources, runs Lean and serves the API and the research agents.
Readme