O Homebrew desativou este pacote: fails_gatekeeper_check
Isabelle
Um assistente genérico de provas para expressar fórmulas matemáticas formalmente e prová-las em um cálculo lógico.
CaskEducação e pesquisaApple Silicon · IntelDesativado
Fonte homebrew/cask
Instalações nos últimos 30 dias24
Instalações no último ano255Total em 365 dias
Versão mais recente2025-2há 5 dias · 7 de out.
Tamanho do download1,7GBarm64 / x86_64 · gz
Frequência de atualizaçõesIrregular0 versão nos últimos 30 dias
- Requisitos do sistema
- Não confirmado
Disponibilidade por plataforma
- macOS 27 · Intel · 2025-2 Não confirmado
- macOS 27 · Apple Silicon · 2025-2 Não confirmado
- macOS 26 · Intel · 2025-2 Não confirmado
- macOS 26 · Apple Silicon · 2025-2 Não confirmado
- macOS 15 · Intel · 2025-2 Não confirmado
- macOS 15 · Apple Silicon · 2025-2 Não confirmado
- macOS 14 · Intel · 2025-2 Não confirmado
- macOS 14 · Apple Silicon · 2025-2 Não confirmado
- macOS 13 · Intel · 2025-2 Não confirmado
- macOS 13 · Apple Silicon · 2025-2 Não confirmado
- macOS 12 · Intel · 2025-2 Não confirmado
- macOS 12 · Apple Silicon · 2025-2 Não confirmado
- macOS 11 · Intel · 2025-2 Não confirmado
- macOS 11 · Apple Silicon · 2025-2 Não confirmado
Ver declaração completa
{
"macos": {}
}- Repositório de origem
- homebrew/cask
- Outros nomes
- Isabelle · isabelle
- Comandos incluídos
- isabelle
- Endereço de download
- www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2025-2_macos.tar.gz
- SHA-256
- 8f187496e295f169…
- Arquivo de definição do Homebrew
- github.com/homebrew/homebrew-cask/blob/HEAD/Casks/i/isabelle.rb
- formulae.brew.sh
- formulae.brew.sh/cask/isabelle
Conteúdo da instalação e desinstalação
Instalar
artifactArquivo de origem: Isabelle2025-2.app
Destino declarado: $APPDIR/Isabelle2025-2.app
Ver declaração completa
{ "artifact": [ "Isabelle2025-2.app", { "target": "$APPDIR/Isabelle2025-2.app" } ], "target": "$APPDIR/Isabelle2025-2.app" }Instalar
binaryArquivo de origem: $APPDIR/Isabelle2025-2.app/bin/isabelle
Destino declarado: $HOMEBREW_PREFIX/bin/isabelle
Ver declaração completa
{ "binary": [ "$APPDIR/Isabelle2025-2.app/bin/isabelle" ], "target": "$HOMEBREW_PREFIX/bin/isabelle" }