Out-link is a link that points from your website to another website. These are out-links list of coq.inria.fr ( 1 )

coq.inria.fr