Coq
Coq 8.4 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible.
Esta herramienta sin coste para PC se diseñó para correr en Windows XP, Windows Vista, Windows 7, Windows 8, Windows 10 o Windows 11 y es compatible con sistemas de 32 bits. Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros.
Este programa sin coste fue diseñado originariamente por Coq Development Team. Las versiones de Coq más usadas son 8.4 y 8.2. Normalmente, los archivos de instalación de este programa tienen los siguientes nombres de fichero: coqide.exe y coqtop.exe. El programa pertenece al grupo de aplicaciones sobre Desarrollo.
Del desarrollador:
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.
Quizás esté interesado en probar otros programas, como Dairy Management System o System Restore Manager, que podrían ser parecidos a Coq.
Descubre FDM
Complemento de soporte
Puede obtener complementos que descargan archivos/videos de sitios web arbitrarios.
Comentarios
Por favor, añade un comentario explicando las razones de tu voto.