Théo Zimmermann
2018-07-01 13:42:54 UTC
Hello Coq-Club,
We are launching coq-community (https://github.com/coq-community), a new
organization of volunteer Coq users for the long-term, collaborative
maintenance of Coq packages, the collaborative writing of documentation,
and the advertisement of valuable packages.
If you don't have time to read this e-mail in full, you can still help us
get a nice logo by up-voting the comment presenting coq-community here
https://github.com/arasatasaygin/openlogos/issues/1#issuecomment-401606081
(provided that you have a GitHub account).
We would like to thank the Coq workshop organizers for having proposed a
15-minute slot for presentation and discussion of coq-community (out of the
30 minutes normally devoted to the Coq development team, next Sunday at 3pm
in Oxford).
coq-community will be a community-driven effort with the following
objectives:
- Providing a place for the collaborative, long-term maintenance of Coq
packages.
- Collaborative writing of documentation.
- Advertisement of interesting Coq packages.
In a first phase of this effort, we will focus on the first objective
(maintenance). We are looking for volunteer Coq users to become official
maintainers. You don't need to be a very experienced Coq user to become a
maintainer. You can also propose packages to move to coq-community even if
you don't wish to become their maintainer.
In a second phase of this effort, the collaborative writing of
documentation and the advertisement of selected packages will be overseen
by an editorial board which will be composed of prominent and experienced
members of the Coq user community. If you are already interested to be part
of such a board, please let us know by writing to Pierre Castéran (
***@labri.fr) and myself (***@irif.fr).
I'll let you discover everything there is to read about coq-community at:
https://github.com/coq-community/manifesto
Sincerely,
Théo Zimmermann
We are launching coq-community (https://github.com/coq-community), a new
organization of volunteer Coq users for the long-term, collaborative
maintenance of Coq packages, the collaborative writing of documentation,
and the advertisement of valuable packages.
If you don't have time to read this e-mail in full, you can still help us
get a nice logo by up-voting the comment presenting coq-community here
https://github.com/arasatasaygin/openlogos/issues/1#issuecomment-401606081
(provided that you have a GitHub account).
We would like to thank the Coq workshop organizers for having proposed a
15-minute slot for presentation and discussion of coq-community (out of the
30 minutes normally devoted to the Coq development team, next Sunday at 3pm
in Oxford).
coq-community will be a community-driven effort with the following
objectives:
- Providing a place for the collaborative, long-term maintenance of Coq
packages.
- Collaborative writing of documentation.
- Advertisement of interesting Coq packages.
In a first phase of this effort, we will focus on the first objective
(maintenance). We are looking for volunteer Coq users to become official
maintainers. You don't need to be a very experienced Coq user to become a
maintainer. You can also propose packages to move to coq-community even if
you don't wish to become their maintainer.
In a second phase of this effort, the collaborative writing of
documentation and the advertisement of selected packages will be overseen
by an editorial board which will be composed of prominent and experienced
members of the Coq user community. If you are already interested to be part
of such a board, please let us know by writing to Pierre Castéran (
***@labri.fr) and myself (***@irif.fr).
I'll let you discover everything there is to read about coq-community at:
https://github.com/coq-community/manifesto
Sincerely,
Théo Zimmermann