News for hackers. Stuff that matters.

A comment on Renaming Coq. Parent comment

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.
[ Parent | on HN ]

There are no comments on this comment yet.