search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Makefile: Remove dead link to Coq Workshop 2009 CFP #117

Closed Lysxia closed 4 years ago

Lysxia commented 5 years ago

coq-workshop/2009/cfp and news/69 don't appear to exist.