search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Update the core and coordinators teams #240

Closed mattam82 closed 4 months ago

mattam82 commented 4 months ago

As was discussed at a previous Coq Call, we are now a team of coordinators with @ybertot, @tabareau and @Zimmi48. @maximedenes , I moved you to the alumni, what should I put as your new affiliation/position at Inria?