Coq
Coq 8.4 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible.
Parmis les utilisateurs de ce logiciel, les versions les plus téléchargées sont les versions 8.4 et 8.2. Pour l'installation du programme, vous trouverez habituellement les fichiers d'installation sous les noms suivants : coqide.exe et coqtop.exe.
Est recommandé de vérifier les fichiers téléchargés avec un antivirus gratuit car nous ne pouvons pas garantir qu'ils sont sûrs. Ce logiciel PC gratuit a été programmé pour fonctionner sur Windows XP/Vista/7/8/10/11 dans sa version 32-bit. C'est grâce à Coq Development Team que ce programme gratuit a vu le jour. Coq appartient à la sous-catégorie IDE de Outils de développement.
Du développeur:
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Typical applications include the formalization of programming languages semantics, the formalization of mathematics and teaching.
Utilisateur de Coq, vous pourriez être intéressé aussi par ces outils : QuadToneRIP, MilesightVMSONVIF compatible ou Aimetis Symphony Client.
Découvrez FDM
Le support des extensions
Vous pouvez obtenir des modules complémentaires qui téléchargent des fichiers/vidéos à partir de sites Web arbitraires.
Commentaires
Merci d'ajouter un commentaire expliquant les raisons de votre vote.