README.md

102 Combinatorial Problems

MA4N1 Group Project: Doğukan T, Kit L, Musab G

This repository contains lean proofs of several problems & solutions from the book 102 Combinatorial Problems, containing Olympiad training puzzles.

Contributors