Re: User-contributed coq libraries
Le 23/06/2015 01:18, Riley Baird a écrit :
> Seeing as the OCaml team already maintains coq, I thought that I'd ask
> whether the team would also be willing to maintain coq libraries as
> well.
We already do: aac-tactics, coq-float, ssreflect, mathcomp
> On one hand, coq libraries aren't written in OCaml, but instead in
> their own language. On the other hand, it would be good to have
> centralised development of coq-related packages.
>
> If coq libraries do fall within the scope of the OCaml team, then I'm
> ready to join!
I think they do.
> You can get a copy of the coq-highschoolgeometry package here:
> http://mentors.debian.net/package/coq-highschoolgeometry
Feel free to join the Alioth group and use the dom-new-git-repo script
to push your package there.
Cheers,
--
Stéphane
Reply to: