4 ms·We _know_ it doesn’t just come from Coquand’s name, because Gérard Huet very clearly said so.by Blaisorblade0 5y agoWe _know_ it doesn’t just come from Coquand’s name, because Gérard Huet very clearly said so.