2 ms·The first link in the post is a 404 for me: https://coq.inria.fr/coq-86 https://coq.inria.fr/coq-86by ohitsdom 10y agoThe first link in the post is a 404 for me: https://coq.inria.fr/coq-86 https://coq.inria.fr/coq-86