lean-brooks, branch main Lean 4 formalization of Brooks theorem case 1 done 2025-05-28T14:08:26+00:00 Malte Voos git@mal.tc 2025-05-28T14:08:26+00:00 2a6b1403af27c1f3a3c00940219491abdee85388 






beginning of pf of brooks' theorem, procedure to extend path maximally
2025-04-17T18:36:14+00:00

Malte Voos
git@mal.tc

2025-04-17T18:36:14+00:00

8aa8b4f2fe98af8a928e403718fd3297cbac8684












init
2025-04-15T19:41:46+00:00

Malte Voos
git@mal.tc

2025-04-10T23:11:46+00:00

52fc07062e41d9b9c00edf7e48187bd4058cdb93