Isabelle

Generic proof assistant

CaskEducation & ScienceApple Silicon · Intel

Fonte homebrew/cask

Instalações nos últimos 30 dias19Appsº lugar: 1656

Instalações no último ano251Total em 365 dias

Versão mais recente2025-2ontem · 7 de out.

Tamanho do download1,7GBarm64 / x86_64 · gz

Frequência de atualizaçõesIrregular0 versão nos últimos 30 dias

Descrição

Generic proof assistant

Esta versão não tem notas de atualização específicas.

Comando de instalação

$ brew install --cask isabelle

Token: isabelle
Página inicial: www.cl.cam.ac.uk/research/hvg/Isabelle
Comandos incluídos: isabelle
Atualização automática: Atualizado pelo Homebrew
Arquitetura: Apple Silicon · Intel
Requisitos do sistema: Apple Silicon: Não confirmado · Intel: Não confirmado

Item	Valor
Últimos 30 dias	19 instalações
Média mensal nos últimos 90 dias	24 instalações
Média mensal no último ano	21 instalações