diff options
Diffstat (limited to 'academic/Isabelle/README')
| -rw-r--r-- | academic/Isabelle/README | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/academic/Isabelle/README b/academic/Isabelle/README new file mode 100644 index 0000000000..133899ddbe --- /dev/null +++ b/academic/Isabelle/README @@ -0,0 +1,17 @@ +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. |