COQUILLE est l'acronyme de « Coq User-Interactive Library Learning Expert », mais ça ne veut pas dire grand chose, l'apprentissage de bibliothèques. (Si ?)
Comme c'est vraiment important (!), on peut chercher une alternative à Expert et à Library ? (et à Learning ? (et à Interactive ? (J'adore parenthéser))).
Sinon, il y a Coq User-Interactive Lucid Learning Enhancement.

