Comment Comment by Blaisorblade0 We _know_ it doesn’t just come from Coquand’s name, because Gérard Huet very clearly said so. parent Blaisorblade0 5 years ago
