[ddp] matita-standard-library : standard library for the Matita interactive theorem prover

[daily-debian-package at enix.org]

Hello,

Today, I'm happy to present you the Debian package
matita-standard-library, which is part of the math section, and
maintained by Debian OCaml Maintainers
<debian-ocaml-maint at lists.debian.org>. 

This package contains : standard library for the Matita interactive
theorem prover.

Matita is a graphical interactive theorem prover based on the Calculus of
(Co)Inductive Constructions.

This package contains the standard library of theorems of the
matita interactive theorem prover.


Package homepage     :
 http://packages.debian.org/unstable/math/matita-standard-library

Package bug homepage :
 http://bugs.debian.org/matita-standard-library

Package QA homepage  :
 http://packages.qa.debian.org/matita-standard-library

Have fun with Debian packages !

-- 
Daily Debian package, by Thomas Petazzoni, thanks to Jérome Petazzoni
Daily-debian-package at the-doors.enix.org
http://the-doors.enix.org/cgi-bin/mailman/listinfo/daily-debian-package
http://thomas.enix.org/DebianPackageDay