Equipe / Team : Gallinette
Participants : Assia Mahboubi (correspondant),
Licence : open source CeCILL-B
Résumé :
Mathematical Components library
La bibliothèque Mathematical Components est un ensemble de bibliothèques Coq couvrant les prérequis pour la vérification du théorème de l'ordre impair.
