15 lines
636 B
XML
15 lines
636 B
XML
|
<?xml version="1.0" encoding="UTF-8"?>
|
||
|
|
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
|
||
|
|
|
||
|
|
<pkgmetadata>
|
||
|
|
<longdescription lang="en">
|
||
|
|
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.
|
||
|
|
See the Isabelle overview for a brief introduction.
|
||
|
|
</longdescription>
|
||
|
|
</pkgmetadata>
|