Bibliothèque de support pour l'assistant de preuve Coq, fournissant des fichiers vernaculaires pour l'importation des certificats générés par Gappa et un tactic `gappa` pour appeler Gappa sur le but courant dans Coq. Gappa est un outil destiné à aider à la vérification et à la preuve formelle de propriétés sur des programmes numériques utilisant des calculs arithmétiques en virgule flottante ou à point fixe.

Cet outil permet la gestion et l'organisation des certificats sur un serveur, offrant un chemin fixe vers la partie la plus récente qui vous intéresse : le certificat seul, le certificat avec le certificat de l'autorité intermédiaire, le certificat de l'autorité intermédiaire, ou la clé privée.

Programme de certification porté par le ministère de l'Intérieur visant à valider les compétences des experts en DevSecOps et Cloud Native. Il propose des formations, des évaluations pratiques et théoriques, ainsi qu'un cadre méthodologique pour accompagner les équipes dans la production de logiciels de qualité, évolutifs et maintenables. La certification est valable un an et s'appuie sur des ressources open-source pour l'autoformation et l'embarquement.