hi, hoping you can pack this into Debian, i've sent the wnpp ;) -------- Forwarded Message -------- Subject: RFP: Isabelle -- generic proof assistant Date: Thu, 2 Nov 2017 11:02:25 +0800 From: GengYu Rao <zou...@outlook.com><mailto:zou...@outlook.com> To: sub...@bugs.debian.org<mailto:sub...@bugs.debian.org> CC: l...@cl.cam.ac.uk<mailto:l...@cl.cam.ac.uk>, nip...@in.tum.de<mailto:nip...@in.tum.de>
Package: wnpp Severity: wishlist * Package name : Isabelle Version : 2017 Upstream Author : University of Cambridge * URL : http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html * License : BSD-3-Clause http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2017/COPYRIGHT Description : Isabelle/HOL allows to turn executable specifications directly into code in SML, OCaml, Haskell, and Scala. Isabelle comes with a large theory library of formally verified mathematics, including elementary number theory , analysis , algebraand set theory . Also provided are numerous examples arising from research into formal verification. Isabelle/jEdit is the default user interface and Prover IDE for Isabelle. you can use it as an IDE for sml:) btw,This package included many add-on components under contrib/* as you can see, this package is being actively developed. http://isabelle.in.tum.de/repos/isabelle I hope someone may pack this into debian. Regards, GengYu Rao
