Isabelle
Other
0.0
|
0 Downloads
|
—
What's New
Version 2025-2
No changelog available yet.
Description
Generic proof assistant
Download
brew install --cask isabelle
