Stream: math-comp devs

Topic: Move of fourcolor to coq-community


view this post on Zulip Yves Bertot (Mar 09 2022 at 10:33):

I just opened issue https://github.com/coq-community/manifesto/issues/139 in coq-community.

view this post on Zulip Yves Bertot (Mar 10 2022 at 13:59):

This is a ping to one of the math-comp organization owners @Cyril Cohen, @Enrico Tassi, @Assia Mahboubi, @Maxime Dénès to perform the github operation : go in the danger zone and press on the relevant button. I personnally don't have the right to do so. If I remember well, it was agreed in meeting yesterday that Cyril would do it.

view this post on Zulip Karl Palmskog (Mar 10 2022 at 14:01):

(I assume this is about moving fourcolor repo to the coq-community GitHub organization)

view this post on Zulip Yves Bertot (Mar 10 2022 at 14:02):

I don't understand the behavior of zulip here. Thanks for moving the message at the right place.

view this post on Zulip Karl Palmskog (Mar 10 2022 at 14:02):

I didn't know Cyril was doing the move, otherwise would have pinged him, sorry for the noise Yves.

view this post on Zulip Yves Bertot (Mar 10 2022 at 14:03):

Until yesterday, I did not know I was unable to do it, so it was natural that you ping me.

view this post on Zulip Assia Mahboubi (Mar 10 2022 at 14:07):

I can do it rightaway if @Cyril Cohen is away.

view this post on Zulip Assia Mahboubi (Mar 10 2022 at 14:08):

Done

view this post on Zulip Karl Palmskog (Mar 10 2022 at 21:32):

This could be an opportunity for some PR via Twitter if someone with control of a widely followed account feels up to it. My suggestion is something like:

The formal proof in Coq of the four color theorem by Georges Gonthier has found a new home in Coq-community on GitHub, where it will be collaboratively maintained for the long term (https://github.com/coq-community/fourcolor). The project is already an optional dependency of the graph theory library in Coq-community (https://github.com/coq-community/graph-theory).


Last updated: Aug 11 2022 at 03:02 UTC