An AI collaborative system that works alongside mathematicians on challenging proofs—handling retrieval, lemma decomposition, and Lean verification.
Lean Updated 4 days ago 1 commits
synth-dev|Mirror: LikC1606/TheoremOS (⭐0)
4 days agoAbout
An AI collaborative system that works alongside mathematicians on challenging proofs—handling retrieval, lemma decomposition, and Lean verification.
Readme