search

coq-community / coq-100-theorems

Statements of famous theorems proven in Coq [maintainer=@jmadiot]
https://madiot.fr/coq100/
Other
55 stars 14 forks source link

fix contrib references, and some other obsolete links #20

Closed palmskog closed 4 years ago

palmskog commented 4 years ago

Since Coq Contribs have no special status anymore, I avoid using the word "contribs" in the link text (and I do the same with coq-community projects).