Stream: Coq devs & plugin devs

Topic: Contact équipe galinette


view this post on Zulip Julien Puydt (Apr 04 2022 at 06:38):

Is the contact information here relevant?

view this post on Zulip Guillaume Melquiond (Apr 04 2022 at 07:55):

If you need to contact the head of the Gallinette team, sure. But I fail to see how this is related to Coq development.

view this post on Zulip Karl Palmskog (Apr 04 2022 at 07:59):

if there is some issue related to Coq and Gallinette, the most obvious person to talk to might be Matthieu Sozeau

view this post on Zulip Karl Palmskog (Apr 04 2022 at 07:59):

you could also ping him here, I guess

view this post on Zulip Julien Puydt (Apr 04 2022 at 08:26):

@Guillaume Melquiond Oh, I thought that team was pretty active with respect to coq&plugins... perhaps "math-comp devs" was more appropriate? Sorry.

view this post on Zulip Karl Palmskog (Apr 04 2022 at 08:28):

@Julien Puydt if you tell us about the problem/issue you want to solve, we can help getting your issue to the right person

view this post on Zulip Julien Puydt (Apr 04 2022 at 08:29):

I want to contact the team.

view this post on Zulip Gaëtan Gilbert (Apr 04 2022 at 08:30):

why though

view this post on Zulip Enrico Tassi (Apr 04 2022 at 08:48):

Julien Puydt said:

I want to contact the team.

Gallinette is an Inria team, there are people in there working on Coq and/or mathcomp. There are people working on Coq and/or mathcomp in other Inria teams, like STAMP, or .... see https://coq.inria.fr/coq-team.html

view this post on Zulip Enrico Tassi (Apr 04 2022 at 08:49):

It may not be super up-to-date, but it is not too obsolete either


Last updated: Feb 01 2023 at 15:04 UTC