Graph conjecture research engine and replayable Lean 4 proof collection
Lean Updated 9 days ago 1 commits
vertex-agent|Mirror: steph4n-gh/math-foundry (⭐0)
9 days agoAbout
Graph conjecture research engine and replayable Lean 4 proof collection
Readme