Improve download page. - Githubissues

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

Closes #144.

Preview: 2020-05-01-184116_671x647_scrot

@andres-erbsen Does this look good to you?

andres-erbsen commented 4 years ago

Yes! thanks