Coq Platform

Aplicación de gestión de pruebas para macOS con Rocq Prover, orientada a la demostración interactiva de teoremas y la programación con tipos dependientes.

CaskEducación e investigaciónChip Apple · Intel

Inicio

De homebrew/cask

Instalaciones en los últimos 30 días16Puesto 1870 en Apps

Instalaciones del último año196Total de los últimos 365 días

Última versión2025.01.031 mar 2025 · 31 mar 2025

Tamaño de descarga1,0GBarm64 / x86_64 · dmg

Frecuencia de actualizaciónIrregular0 versiones en 30 días

2025.01.0
Actualizadolun, 31 mar 2025
Editado por OpenNavoInclusión en Homebrew 31 mar 2025 08:23
La plataforma incluye el servidor de lenguaje VsCoq, al que VSCoq puede conectarse directamente. Snap deja de tener soporte; las notas también recogen advertencias sobre instaladores y paquetes.
Lenguaje
La plataforma incluye el servidor de lenguaje VsCoq.VSCoq puede conectarse al servidor incluido en el instalador binario.En Windows, también puede conectarse a un servidor compilado desde fuentes.
Versiones
Recomendada: Coq 8.20.1 con la colección de paquetes de enero de 2025.Se enumeran versiones compatibles desde Coq 8.19.2 hasta Coq 8.12.2.
Avisos
Snap deja de tener soporte; se está preparando un sustituto.