2025-2
Actualizadomar, 20 eneInclusión en Homebrew 20 ene 01:22
Esta versión no tiene notas de actualización propias
Isabelle
Generic proof assistant
CaskEducation & ScienceChip Apple · Intel
De homebrew/cask
Instalaciones en los últimos 30 días21Puesto 1638 en Apps
Instalaciones del último año253Total de los últimos 365 días
Última versión2025-2anteayer · 7 oct
Tamaño de descarga1,7GBarm64 / x86_64 · gz
Frecuencia de actualizaciónIrregular0 versiones en 30 días
2025-1
lun, 29 dic 2025Inclusión en Homebrew 29 dic 2025 17:43
Esta versión no tiene notas de actualización propias2025
vie, 14 mar 2025Inclusión en Homebrew 14 mar 2025 03:36
Esta versión no tiene notas de actualización propias