Opam est un gestionnaire de paquets dédié aux outils de preuve formelle Rocq Prover et Coq. Il permet de distribuer, maintenir et installer des bibliothèques et extensions officielles ou en développement. Ce dépôt centralise les paquets pour les versions stables et expérimentales, facilitant ainsi la réutilisation et l'intégration des outils dans des projets de preuve formelle.