Screenshot pending…Coq will be renamed into 'The Rocq Prover'(coq.inria.fr)46 points by mvelbaum 2 years ago | 29 comments