Remove announcement of Proof Assistants SE in about one month (mid-April).

coq / coq.github.io

Source files of the coq.inria.fr website

https://coq.inria.fr/

Other

15 stars 37 forks source link

Remove announcement of Proof Assistants SE in about one month (mid-April). #195

Open Zimmi48 opened 2 years ago

Zimmi48 commented 2 years ago

This is commit 4fed741c9970f3f4efccb6c9ee53cabbde11547e from #193.

SkySkimmer commented 2 years ago

ping?

Zimmi48 commented 2 years ago

Yes, we should probably remove the announcement from the recent news section now. Instead, we could add a direct link from the "User community" section on the homepage.