/102_comb_lean

Lean proofs of (some) problems from the book "102 Combinatorial Problems"

Primary LanguageLean

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