Welcome to ftp.nluug.nl Current directory: /os/Linux/distr/salix/sbo/15.0/academic/Isabelle/ |
|
Contents of README: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. |
Name Last modified Size
Parent Directory - Isabelle 22-Jul-2023 10:57 45 Isabelle.SlackBuild 22-Jul-2023 10:57 2.5K Isabelle.info 22-Jul-2023 10:57 315 README 22-Jul-2023 10:57 697 slack-desc 22-Jul-2023 10:57 1.0K
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!