search

coq / coq.github.io

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

Open support services to non-academic partners #154

Closed maximedenes closed 4 years ago

maximedenes commented 4 years ago

@ybertot does this look good to you?

ybertot commented 4 years ago

Yes, this sounds good to me.

Yves

From: "Maxime Dénès" notifications@github.com To: "coq/www" www@noreply.github.com Cc: "Yves Bertot" yves.bertot@inria.fr, "Mention" mention@noreply.github.com Sent: Friday, July 3, 2020 4:16:12 PM Subject: [coq/www] Open support services to non-academic partners (#154)

[ https://github.com/ybertot | @ybertot ] does this look good to you? You can view, comment on, or merge this pull request online at:

[ https://github.com/coq/www/pull/154 | https://github.com/coq/www/pull/154 ] Commit Summary

* Open support services to non-academic partners

File Changes

— You are receiving this because you were mentioned. Reply to this email directly, [ https://github.com/coq/www/pull/154 | view it on GitHub ] , or [ https://github.com/notifications/unsubscribe-auth/AAZ73ZNRPAT5GC7VZQ6KJ2TRZXR2ZANCNFSM4OP3FBUA | unsubscribe ] .