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. Isabelle was originally
developed at the University of Cambridge and Technische Universität
München, but now includes numerous contributions from institutions and
individuals worldwide.
Isabelle is written in polyML, Java, and Scala, but does not require
them to be installed from SBo.
This build is bundling: jEdit, vscodium, jdk-17, so be careful about
its interference with other packages.
A lot of proofs certified with Isabelle can be found on
https://www.isa-afp.org/
This build repackages the binary build.
Maintained by: Lockywolf
Keywords: proof assistant,checker,java,scala,afp
ChangeLog: Isabelle
Homepage:
https://isabelle.in.tum.de/
Download SlackBuild:
Isabelle.tar.gz
Isabelle.tar.gz.asc (FAQ)
(the SlackBuild does not include the source)
Individual Files: |
Isabelle |
Isabelle.SlackBuild |
Isabelle.info |
README |
slack-desc |
© 2006-2024 SlackBuilds.org Project. All rights reserved.
Slackware® is a registered trademark of
Patrick Volkerding
Linux® is a registered trademark of
Linus Torvalds