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