isabelle

Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus.

Name

isabelle

Programs

• isabelle
• isabelle_java

Homepage

• https://isabelle.in.tum.de/

Version

2025-2

License

• BSD 3-clause "New" or "Revised" License

Maintainers

• Jan van Brügge
• Myria Sarvay

Platforms

• x86_64-linux
• aarch64-linux
• x86_64-darwin
• aarch64-darwin

Defined

Source