Skip to content

feat(Combinatorics/SimpleGraph/Coloring/Greedy): Greedy coloring#38357

Open
SnirBroshi wants to merge 20 commits into
leanprover-community:masterfrom
SnirBroshi:feature/simple-graph/coloring/greedy
Open

feat(Combinatorics/SimpleGraph/Coloring/Greedy): Greedy coloring#38357
SnirBroshi wants to merge 20 commits into
leanprover-community:masterfrom
SnirBroshi:feature/simple-graph/coloring/greedy

Merge branch 'master' into feature/simple-graph/coloring/greedy

90a26f1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jun 15, 2026 in 1m 23s