Description
Generic proof assistant.
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.
package
isabelle
Metadata
Version
2025-2License
Homepage
https://isabelle.in.tum.de/Maintainers (2)
Executables (3)
bin/isabelle_javabin/isabelle_scala_scriptbin/isabelle
Platforms (4)
Darwin
Linux
Show all
aarch64-darwinaarch64-linuxx86_64-darwinx86_64-linux