Add new Consortium members

coq / coq.github.io

Source files of the coq.inria.fr website

https://coq.inria.fr/

Other

15 stars 37 forks source link

Closed maximedenes closed 1 year ago

maximedenes commented 1 year ago

We now have two official Coq Consortium members.

maximedenes commented 1 year ago

@ybertot does this look good to you?