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.

Name		Name	Last commit message	Last commit date
Latest commit History 82 Commits
Common		Common
lake-packages		lake-packages
.gitignore		.gitignore
CONTRIBUTING.md		CONTRIBUTING.md
Common.lean		Common.lean
README.md		README.md
intro01.lean		intro01.lean
intro02.lean		intro02.lean
intro03.lean		intro03.lean
intro04.lean		intro04.lean
intro06.lean		intro06.lean
intro23.lean		intro23.lean
intro24.lean		intro24.lean
intro47.lean		intro47.lean
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lakefile.olean		lakefile.olean
lean-toolchain		lean-toolchain

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

102 Combinatorial Problems

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

Contributors

About

Releases

Packages

Contributors 4

Languages

mgsium/102_comb_lean

Folders and files

Latest commit

History

Repository files navigation

102 Combinatorial Problems

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

Contributors

About

Resources

Stars

Watchers

Forks

Releases

Packages 0

Contributors 4

Languages

Packages