This repository contains lean proofs of several problems & solutions from the book 102 Combinatorial Problems, containing Olympiad training puzzles.
semorrison/102_comb_lean
Lean proofs of (some) problems from the book "102 Combinatorial Problems"
Lean