The Coq Proof Assistant, version 8.7.1 | Publicación