search

coq-community / apery

A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
Other
19 stars 6 forks source link

Missing opam package #6

Open amahboubi opened 2 years ago

palmskog commented 2 years ago

We now have a released package: https://github.com/coq/opam-coq-archive/blob/master/released/packages/coq-mathcomp-apery/coq-mathcomp-apery.1.0.1/opam

Do we want a dev (Git-based) opam package registered in the archive as well?