package

isabelle

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.

Metadata

Version

2025-2

License

Status

Source

pkgs/by-name/is/isabelle/package.nix:337

Homepage

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

Maintainers (2)

Executables (3)

bin/isabelle
bin/isabelle_java
bin/isabelle_scala_script

Platforms (3)

Darwin

Linux

Show all

aarch64-darwin
aarch64-linux
x86_64-linux