lean-brooks, branch main
Lean 4 formalization of Brooks theorem
http://git.mal.tc/lean-brooks/atom/?h=main
2025-05-28T14:08:26Z
case 1 done
2025-05-28T14:08:26Z
Malte Voos
git@mal.tc
2025-05-28T14:08:26Z
urn:sha1:2a6b1403af27c1f3a3c00940219491abdee85388
beginning of pf of brooks' theorem, procedure to extend path maximally
2025-04-17T18:36:14Z
Malte Voos
git@mal.tc
2025-04-17T18:36:14Z
urn:sha1:8aa8b4f2fe98af8a928e403718fd3297cbac8684
init
2025-04-15T19:41:46Z
Malte Voos
git@mal.tc
2025-04-10T23:11:46Z
urn:sha1:52fc07062e41d9b9c00edf7e48187bd4058cdb93