/lean_contest_tasks

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

Primary LanguageLean

This repository is not active