[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: RFS: ladr and prover9-manual

On Wed, Aug 15, 2007 at 12:57:43AM +0100, Peter Collingbourne wrote:
> Dear mentors,
> I am looking for a sponsor for my packages "ladr" and "prover9-manual"
> dget http://www.doc.ic.ac.uk/~pcc03/tmp/debian/ladr_0.0.200708-1.dsc
> dget http://www.doc.ic.ac.uk/~pcc03/tmp/debian/prover9-manual_0.0.200708-1.dsc

Any takers for this?  This is a successor to the "otter" theorem prover,
which is also in the archive, so I think it would be worthwhile to have
this in as well.

I forgot to mention the ITP bugs this would close: #437936, #437944


Attachment: pgpO40LFj7xUB.pgp
Description: PGP signature

Reply to: