Graph Theory 2-2: Towards a Formal Proof of Brooks' Theorem
Luke Postle
0:00 / 0:00
Graph Theory 2-2: Towards a Formal Proof of Brooks' Theorem
1 668 просмотров · 5 лет назад
Luke Postle
1,1 тыс. подписчиков
1 668 просмотров · 5 лет назад
2nd week of 2nd video of Graph Theory course. Here we formalize our earlier proof sketch of Brooks' Theorem.
