Bug#448156: ITP: matita -- interactive theorem prover

[Samuel Mimram]

Hi,

Mike Furr wrote:
Enrico Tassi wrote:
   Package name: matita

Stefano already has some packages for this on his gluck page, have
you talked to him about the status of those?

Moreover, since matita is written mostly in OCaml, it could be a good 
idea to have this package on the pkg-ocaml-maint svn (see [1]).

Cheers,

Samuel.

[1] http://pkg-ocaml-maint.alioth.debian.org/



--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]