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 <[email protected]><mailto:[email protected]> To: [email protected]<mailto:[email protected]> CC: [email protected]<mailto:[email protected]>, [email protected]<mailto:[email protected]>
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
