diff options
| author | Lockywolf <for_sbo.Isabelle_2023-07-17@lockywolf.net> | 2023-07-18 08:47:19 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2023-07-18 08:47:19 +0700 |
| commit | 9c5891220650cba882d6d7eee1216b7dc23a2415 (patch) | |
| tree | 6d537b41d4f5e8e38ba396412cb12ac97fea49a9 /academic/Isabelle/README | |
| parent | f2d1ae854530065714044d3348db411c087d3ae8 (diff) | |
academic/Isabelle: Added (proof assistant).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
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 0000000000000..133899ddbe1f0 --- /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. |