Ce projet est consacré au développement et à la maintenance de la plateforme Disabled, qui est une archive de paquets pour Coq, un assistant de preuve interactif pour la logique d'ordre supérieur. Disabled permet de simplifier l'installation et la gestion des dépendances pour les utilisateurs de Coq.