2025-2
LatestJan 20 · TueAdded to Homebrew Jan 20 01:22
No separate release notes for this version
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
2025-1
Dec 29, 2025 · MonAdded to Homebrew Dec 29, 2025 17:43
No separate release notes for this version2025
Mar 14, 2025 · FriAdded to Homebrew Mar 14, 2025 03:36
No separate release notes for this version