Re:Renaming Coq
by jcelerier on Thursday April 08, 2021 @01:06PM
(#26741230)
this, or it just comes from one of the original authors' name, Thierry Coquand ?
[ Parent
| on HN ]
Re:Renaming Coq
by Blaisorblade0 on Thursday April 08, 2021 @10:06PM
(#26746001)
We _know_ it doesn’t just come from Coquand’s name, because Gérard Huet very clearly said so.