search

coq-community / manifesto

Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
Other
68 stars 6 forks source link

Proposal to move project fourcolor to coq-community #139

Closed ybertot closed 2 years ago

ybertot commented 2 years ago

Project name: fourcolor

Initial author(s): Georges Gonthier

Current URL: https://github.com/math-comp/fourcolor

Kind: formalization of a mathematical theorem

License: CeCILL-B

Description: The repository contains a mechanization of the Four Color Theorem(Appel & Haken, 1976), a landmark result of graph theory.

The formal proof is based on the Mathematical Components library for the Coq proof assistant.

Status: maintained

New maintainer: @ybertot

palmskog commented 2 years ago

Thanks for the proposal. This project is very much welcome here.

However, according to our manifesto, we need permission from Georges to do this move. Ideally @ggonthier would comment on this issue himself and approve of the move to the Coq-community organization. However, @ybertot if you already have permission by email, you could forward that to either @Zimmi48 or me and this would work just as well to proceed.

ybertot commented 2 years ago

I already have a mail from @ggonthier giving his approval. If he does not react to your ping, we can exchange this mail. Should it be part of this discussion?

ybertot commented 2 years ago

Sorry, I did not read your message correctly. I just forwarded the permission that I have by email.

palmskog commented 2 years ago

Thanks, I can confirm that Georges has indeed given his approval for the move to coq-community.

@ybertot please go ahead and transfer the repo to the coq-community organization, whenever convenient.

palmskog commented 2 years ago

I'm closing this since the repo has been moved to here (thanks to Assia). Let's continue any discussions as issues or PRs in the repo.