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 · Intel
Fonte homebrew/cask
Instalações nos últimos 30 dias22Appsº lugar: 1644
Instalações no último ano254Total em 365 dias
Versão mais recente2025-2anteontem · 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": {}
}