| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | case 1 done | Malte Voos | 5 months | |
| Age | Commit message | Author | ||
| 2025-05-28 | case 1 done HEAD main | Malte Voos | ||
| 2025-04-17 | beginning of pf of brooks' theorem, procedure to extend path maximally | Malte Voos | ||
| 2025-04-15 | init | Malte Voos | ||
| Clone | ||||
| https://git.mal.tc/lean-brooks | ||||