Isabelle
Generic proof assistant
CaskEducation & ScienceApple silicon · Intel
From homebrew/cask
30-day installs19#1656 in App
1-year installs251Last 365 days
Latest version2025-2yesterday · Oct 7
Download size1.7GBarm64 / x86_64 · gz
Release cadenceIrregular0 releases in 30 days
- System requirements
- Not confirmed
Platform availability
- macOS 27 · Intel · 2025-2 Not confirmed
- macOS 27 · Apple chip · 2025-2 Not confirmed
- macOS 26 · Intel · 2025-2 Not confirmed
- macOS 26 · Apple chip · 2025-2 Not confirmed
- macOS 15 · Intel · 2025-2 Not confirmed
- macOS 15 · Apple chip · 2025-2 Not confirmed
- macOS 14 · Intel · 2025-2 Not confirmed
- macOS 14 · Apple chip · 2025-2 Not confirmed
- macOS 13 · Intel · 2025-2 Not confirmed
- macOS 13 · Apple chip · 2025-2 Not confirmed
- macOS 12 · Intel · 2025-2 Not confirmed
- macOS 12 · Apple chip · 2025-2 Not confirmed
- macOS 11 · Intel · 2025-2 Not confirmed
- macOS 11 · Apple chip · 2025-2 Not confirmed
View full declaration
{
"macos": {}
}