http://c25o7knygjm3m67jy27yuynvv4pkfi25naucscmh4ubq2ggiig3v57ad.onion/fr/canal-coq-pour-guix.html
Cependant, comme j'utilise Coq de temps en temps, et que j'utilise aussi vim pour l'édition
de programmes en général, j'ai besoin d'un greffon pour faire fonctionner le système coq dans
mon environnement favori Pour cela, il y avait le greffon coquille qui fonctionnait sur d'anciennes
versions de coq, mais le projet n'est plus très vivant. J'ai donc décidé il y a un peu plus d'un
an de créer ma propre version de coquille, en partant de l'existant.