Dmmc123 / lean_contest_tasks

Solutions to math problems IMO 1986 Q1 and Putnam Exam 2013 B1 in Lean langauge

Geek Repo

Github PK Tool