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
About
Generic proof assistant
New What’s new in 2025-2 From Homebrew commits
This release has no separate notes.