On Thu, Mar 5, 2009 at 18:06, Félix Sipma <[email protected]> wrote: > Hi all, > I have a request concerning the package coq. > coq is a proof assistant which is used by a lot of people in the domain (I > agree that that the proportion of arch users may seemed ridiculous, it is a > tool for specialists) > http://coq.inria.fr/ > This software is designed by the French public computing institute INRIA. It > is a really mature software, the development is active and it is very stable. > Would it be possible to integrate it into a repository like community, extra > or core? It depends on ocaml, and so I've tried to send a mail to the person > who is in charge of this package but I have no answer... > Thanks, > > Felix >
If noone volunteers, your best option is to apply to become a TU yourself and put it in community :)
