Download and installation. General Isabelle supports the three main platform families: Linux, Windows, Mac OS X.
The platform-specific application bundles include sources, documentation, and add-on components. A few extra dependencies are explained below. Maxima, a Computer Algebra System. The Yacas computer algebra system. Sage: Open Source Mathematics Software. Metamath Home Page.