Isabelle
Generic proof assistant
CaskEducation & ScienceApple Silicon · Intel
Fonte homebrew/cask
Instalações nos últimos 30 dias21Appsº lugar: 1638
Instalações no último ano253Total 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
Falha ao carregar
A rede ou o serviço está temporariamente indisponível. Tente novamente mais tarde.