3 ms·

this, or it just comes from one of the original authors' name, Thierry Coquand ?

• Blaisorblade0 6y ago
  We _know_ it doesn’t just come from Coquand’s name, because Gérard Huet very clearly said so.