Link to new Proof Assistants SE site.

coq / coq.github.io

Source files of the coq.inria.fr website

https://coq.inria.fr/

Other

15 stars 37 forks source link

Link to new Proof Assistants SE site. #193

Closed Zimmi48 closed 2 years ago

Zimmi48 commented 2 years ago

Preview:

Should we also add the link on the homepage?

Zimmi48 commented 2 years ago

A banner as discussed on Zulip:

Zimmi48 commented 2 years ago

I've merged the PR because it's good enough for now. Longer term (especially when we remove the highlighted announcement on the right side), we should decide whether we want to also advertise this site in the "Community" section in the main page.