Solutions to math problems IMO 1986 Q1 and Putnam Exam 2013 B1 in Lean langauge
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool