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.