summary refs log tree commit diff
AgeCommit message (Collapse)Author
2025-04-17beginning of pf of brooks' theorem, procedure to extend path maximallyMalte Voos
2025-04-15initMalte Voos