OpenNavo
Homebrew ha deshabilitado este paquete: fails_gatekeeper_check

Isabelle

Un asistente de pruebas genérico para expresar fórmulas matemáticas formalmente y demostrarlas en un cálculo lógico.

CaskEducación e investigaciónChip Apple · IntelDesactivada
Inicio
De homebrew/cask
Instalaciones en los últimos 30 días26
Instalaciones del último año253Total de los últimos 365 días
Última versión2025-220 ene · 20 ene
Tamaño de descarga1,7GBarm64 / x86_64 · gz
Frecuencia de actualizaciónIrregular0 versiones en 30 días
Repositorio de origen
homebrew/cask
Otros nombres
Isabelle · isabelle
Comandos incluidos
isabelle
URL de descarga
www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2025-2_macos.tar.gz
SHA-256
8f187496e295f169…
Archivo de definición de Homebrew
github.com/homebrew/homebrew-cask/blob/HEAD/Casks/i/isabelle.rb
formulae.brew.sh
formulae.brew.sh/cask/isabelle

Contenido de instalación y desinstalación

  • Instalar artifact

    Archivo de origen: Isabelle2025-2.app

    Destino declarado: $APPDIR/Isabelle2025-2.app

    Ver declaración completa
    {
  "artifact": [
    "Isabelle2025-2.app",
    {
      "target": "$APPDIR/Isabelle2025-2.app"
    }
  ],
  "target": "$APPDIR/Isabelle2025-2.app"
}

  • Instalar binary

    Archivo de origen: $APPDIR/Isabelle2025-2.app/bin/isabelle

    Destino declarado: $HOMEBREW_PREFIX/bin/isabelle

    Ver declaración completa
    {
  "binary": [
    "$APPDIR/Isabelle2025-2.app/bin/isabelle"
  ],
  "target": "$HOMEBREW_PREFIX/bin/isabelle"
}