Rocq-prover.org est une plateforme en ligne dédiée au langage Rocq, un assistant de preuve formelle. Elle centralise la documentation technique, les paquets logiciels et les ressources pédagogiques pour faciliter l'apprentissage et le développement avec Rocq. Le site propose une interface moderne et accessible, adaptée aux besoins des chercheurs, développeurs et étudiants en informatique théorique.