Add link to the opam-bench project in the Coq Team

coq / coq.github.io

Source files of the coq.inria.fr website

https://coq.inria.fr/

Other

15 stars 37 forks source link

Closed clarus closed 3 years ago

clarus commented 3 years ago

@mattam82 As you proposed, I added a link to the opam bench. I did not add other links in this pull-request. How it appears with the link:

mattam82 commented 3 years ago

Thanks @clarus !