No update to the website for the 8.10+beta3 release.

coq / coq.github.io

Source files of the coq.inria.fr website

https://coq.inria.fr/

Other

15 stars 37 forks source link

Closed Zimmi48 closed 4 years ago

Zimmi48 commented 4 years ago

The download link still points to 8.10+beta2, and there is no news.