Présentation
À propos de Coq Beta
Coq Beta est une application Windows actuelle disponible dans le catalogue communautaire WinGet. The Coq platform is a distribution of the Coq proof assistant together with a selection of Coq libraries. It provides a set of scripts to compile and install OPAM, Coq, Coq libraries and Coq plugins on MacOS, Windows and many Linux distributions in a reliable way with consistent results.
Page source d’origineVersion 8.14.0
Nouveautés
- Current WinGet catalog version: 8.14.0
Compatibilité
Configuration requise
- Windows 10 or Windows 11
- WinGet or the publisher installer
Commentaires
Aucun commentaire pour le moment.