Comment Comment by jcelerier this, or it just comes from one of the original authors' name, Thierry Coquand ? parent jcelerier 5 years ago
