/102_comb_lean

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

Primary LanguageLean

Stargazers