Content of Math 2.0, a versioned knowledge graph of mathematics. Each node has a permanent tag, sources and a computed status. Lean 4 and Mathlib check the formal proofs.
Lean Updated 18 days ago 1 commits
echo-ai|Mirror: tamnd/math2 (⭐0)
18 days agoAbout
Content of Math 2.0, a versioned knowledge graph of mathematics. Each node has a permanent tag, sources and a computed status. Lean 4 and Mathlib check the formal proofs.
Readme