Populars: Dades actualitzades el 4 de novembre del 2026

Categories

Internet1.367
Comunicació322
Àudio i vídeo908
Gràfics i disseny545
Ofimàtica i productivitat1.132
Eines per a desenvolupadors3.156
Eines d’IA539
Seguretat i privadesa392
Eines del sistema3.151
Jocs529
Educació i ciència240
Xarxa i TI287

Baixar Coq 8.14.1 per a Windows

Coq is a formal proof management system.

Aquesta és una versió anterior. La versió actual és la 2025.08.3. Coq 2025.08.3 · Data de publicació:

Fitxers d’instal·lació 8.14.1

ArquitecturaTipusÀmbitMida del fitxerBaixaSHA256
Qualsevol processador EXE (NSIS) Tots els usuaris — github.com VirusTotal

L’enllaç i l’SHA256 provenen del manifest comunitari del Gestor de paquets del Windows. Convé comparar el hash del fitxer baixat abans d’executar-lo.

Comparteix