La plateforme Coq est une distribution du logiciel Coq, un assistant de preuve pour les mathématiques, accompagnée d'une sélection de bibliothèques et de plugins. Elle vise à être indépendante du système d'exploitation, fiable, facile à installer et complète.