** Description changed: 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/
-- [needs-packaging] Isabelle https://bugs.launchpad.net/bugs/276556 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
