Ce projet permet de gérer les identifiants DOI (Digital Object Identifier) pour les publications scientifiques. Il facilite l'envoi des métadonnées associées à ces DOI vers la plateforme DataCite, vérifie l'unicité des identifiants et détecte les doublons ou les DOI non conformes. Le système assure également la mise à jour des noms d'auteurs et le suivi des publications.

Ce projet implémente l'algorithme de calcul des ordres d'appel pour Parcoursup, une plateforme d'admission dans l'enseignement supérieur en France. Il fournit une spécification formelle de l'algorithme et des preuves de sa correction en utilisant différents outils de vérification.