| Age | Commit message (Collapse) | 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 (Collapse) | 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 | |