imo-grand-challenge

There are 2 repositories under imo-grand-challenge topic.

Dmmc123/lean_contest_tasks
Solutions to math problems IMO 1986 Q1 and Putnam Exam 2013 B1 in Lean langauge
Language:Lean1 0
James-Oswald/alphaproof-outputs-mirror
Mirror of Google Deepmind's alphaproof results on the 2024 IMO
Language:Lean1