Isabelle
Generic proof assistant
CaskEducation & ScienceChip Apple · Intel
De homebrew/cask
Instalaciones en los últimos 30 días19Puesto 1656 en Apps
Instalaciones del último año251Total de los últimos 365 días
Última versión2025-2ayer · 7 oct
Tamaño de descarga1,7GBarm64 / x86_64 · gz
Frecuencia de actualizaciónIrregular0 versiones en 30 días
Descripción
Generic proof assistant
Novedades Novedades de 2025-2 Del historial de commits de Homebrew
Esta versión no tiene notas de actualización específicas.