Homebrew отключил этот пакет: Версия не обновлялась более 90 дней
Isabelle
Универсальный помощник доказательств для формального представления математических формул и их доказательства в логическом исчислении.
CaskОбразование и наукаЧип Apple · IntelОтключено
Источник homebrew/cask
Установки за последние 30 дней24
Установки за последний год255Всего за 365 дней
Последняя версия2025-25 дней назад · 7 окт.
Размер загрузки1,7ГБarm64 / x86_64 · gz
Частота обновленийНерегулярно0 релизов за 30 дней
- Системные требования
- Не подтверждено
Поддерживаемые платформы
- macOS 27 · Intel · 2025-2 Не подтверждено
- macOS 27 · Чип Apple · 2025-2 Не подтверждено
- macOS 26 · Intel · 2025-2 Не подтверждено
- macOS 26 · Чип Apple · 2025-2 Не подтверждено
- macOS 15 · Intel · 2025-2 Не подтверждено
- macOS 15 · Чип Apple · 2025-2 Не подтверждено
- macOS 14 · Intel · 2025-2 Не подтверждено
- macOS 14 · Чип Apple · 2025-2 Не подтверждено
- macOS 13 · Intel · 2025-2 Не подтверждено
- macOS 13 · Чип Apple · 2025-2 Не подтверждено
- macOS 12 · Intel · 2025-2 Не подтверждено
- macOS 12 · Чип Apple · 2025-2 Не подтверждено
- macOS 11 · Intel · 2025-2 Не подтверждено
- macOS 11 · Чип Apple · 2025-2 Не подтверждено
Показать полное описание
{
"macos": {}
}- Репозиторий источника
- homebrew/cask
- Другие названия
- Isabelle · isabelle
- Включает команды
- isabelle
- Ссылка для загрузки
- www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2025-2_macos.tar.gz
- SHA-256
- 8f187496e295f169…
- Файл определения Homebrew
- github.com/homebrew/homebrew-cask/blob/HEAD/Casks/i/isabelle.rb
- formulae.brew.sh
- formulae.brew.sh/cask/isabelle
Состав установки и удаления
Установить
artifactИсходный файл: Isabelle2025-2.app
Указанное место назначения: $APPDIR/Isabelle2025-2.app
Показать полное описание
{ "artifact": [ "Isabelle2025-2.app", { "target": "$APPDIR/Isabelle2025-2.app" } ], "target": "$APPDIR/Isabelle2025-2.app" }Установить
binaryИсходный файл: $APPDIR/Isabelle2025-2.app/bin/isabelle
Указанное место назначения: $HOMEBREW_PREFIX/bin/isabelle
Показать полное описание
{ "binary": [ "$APPDIR/Isabelle2025-2.app/bin/isabelle" ], "target": "$HOMEBREW_PREFIX/bin/isabelle" }