This repository contains lean proofs of several problems & solutions from the book 102 Combinatorial Problems, containing Olympiad training puzzles.
mgsium/102_comb_lean
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
{{ message }}
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This repository contains lean proofs of several problems & solutions from the book 102 Combinatorial Problems, containing Olympiad training puzzles.