Coq Platform
Formal proof management system
CaskEducation & ScienceChip Apple · Intel
De homebrew/cask
Instalaciones en los últimos 30 días16Puesto 1782 en Apps
Instalaciones del último año196Total de los últimos 365 días
Última versión2025.01.0ayer · 7 oct
Tamaño de descarga1,0GBarm64 / x86_64 · dmg
Frecuencia de actualizaciónIrregular0 versiones en 30 días
Descripción
Formal proof management system
Novedades Novedades de 2025.01.0 Del historial de commits de Homebrew
Esta versión no tiene notas de actualización específicas.