This repository is not active
Dmmc123/lean_contest_tasks
Solutions to math problems IMO 1986 Q1 and Putnam Exam 2013 B1 in Lean langauge
Lean
Solutions to math problems IMO 1986 Q1 and Putnam Exam 2013 B1 in Lean langauge
Lean
This repository is not active