Is the contact information here relevant?
If you need to contact the head of the Gallinette team, sure. But I fail to see how this is related to Coq development.
if there is some issue related to Coq and Gallinette, the most obvious person to talk to might be Matthieu Sozeau
you could also ping him here, I guess
@Guillaume Melquiond Oh, I thought that team was pretty active with respect to coq&plugins... perhaps "math-comp devs" was more appropriate? Sorry.
@Julien Puydt if you tell us about the problem/issue you want to solve, we can help getting your issue to the right person
I want to contact the team.
why though
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
It may not be super up-to-date, but it is not too obsolete either
Last updated: Oct 13 2024 at 01:02 UTC