El famoso lenguaje de programacion Coq, creado por Thierry Coquand, cambió recientemente su nombre a “The Rocq Prover”. Malditos nerds 👺