Stream: math-comp devs

Topic: four-color takes more time on coq-dev

Notification Bot (Jun 08 2020 at 20:25):

This topic was moved by Cyril Cohen to #Coq devs & plugin devs > four-color takes more time on coq-dev

Last updated: Oct 13 2024 at 01:02 UTC