Add Ali Caglayan to the maintainers team

coq / coq.github.io

Source files of the coq.inria.fr website

https://coq.inria.fr/

Other

15 stars 37 forks source link

Closed mattam82 closed 2 years ago

Zimmi48 commented 2 years ago

cc @Alizter

ejgallego commented 2 years ago

Thanks @alizter for all the great help !!

Alizter commented 2 years ago

LGTM :)