This topic was moved by Cyril Cohen to #Coq devs & plugin devs > four-color takes more time on coq-dev
Last updated: Feb 09 2023 at 03:06 UTC