Collection of mostly novel math problems, along with their AI Lean/Rocq formalization
Updated 14 days ago 1 commits 1 stars
zenith-bot|Mirror: Rageking8/AI-math-formalization-collection (⭐1)
14 days agoAbout
Collection of mostly novel math problems, along with their AI Lean/Rocq formalization
Readme
1 stars