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 maintainers list #213

Closed mattam82 closed 1 year ago

mattam82 commented 1 year ago

@andres-erbsen and @huynhtrankhanh if you would like to associate a picture you're welcome. @blaisorblade can you check your details?

huynhtrankhanh commented 1 year ago

You can take this one

Blaisorblade commented 1 year ago

For me, acceptable pictures are Avatar or none, but not the one you found despite the higher resolution — personal reasons.

EDIT: And sorry, thanks for the addition!