[needs-packaging] Isabelle

[Fred]

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. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols.

License: BSD

http://en.wikipedia.org/wiki/Isabelle_(theorem_prover)
http://isabelle.in.tum.de/

[Ralph Janke (txwikinger)]

Thanks for reporting this package suggestion and any supporting documentation. Since this report has enough information provided for a packager to begin work, I'm going to mark it as confirmed and let them handle it from here. Thanks for taking the time to make Ubuntu better!

[Tillmo (till-mossakowski)]

we have packaged ISabelle, see https://launchpad.net/~hets/+archive/hets/+index?batch=75&memo=75&start=75