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. The raw Isabelle distribution archives are available for completeness, but assembling them by hand is not recommended! Past releases are available from the archive. Warning: Pre-packaged versions of Isabelle and some add-on components that are floating through the web as deb, rpm, port etc. are typically incomplete and outdated! Linux Requirements Isabelle2013-2_linux.tar.gz Perl 5.x with libwww Python 2.x LaTeX (optional, for document preparation) 32-bit C/C++ standard libraries on 64-bit Linux (optional, for improved performance of Poly/ML) Installation The bundled archive contains everything required for Isabelle on Linux.
The Isabelle/jEdit Prover IDE can be invoked like this: Isabelle2013-2/Isabelle2013-2 Isabelle2013-2/bin/isabelle Windows. Maxima, a Computer Algebra System. The Yacas computer algebra system. Sage: Open Source Mathematics Software. Metamath Home Page.