lean-brooks/lean-toolchain, branch main Lean 4 formalization of Brooks theorem init 2025-04-15T19:41:46+00:00 Malte Voos git@mal.tc 2025-04-10T23:11:46+00:00 52fc07062e41d9b9c00edf7e48187bd4058cdb93