GitHub repository: mgsium/102_comb_lean
Primary language: Lean
Description: Lean proofs of (some) problems from the book "102 Combinatorial Problems"