| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-05-28 | case 1 done 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 |
| index : lean-brooks | |
| Lean 4 formalization of Brooks theorem | Gitolite user |
| summary refs log tree commit diff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-05-28 | case 1 done 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 |