search

coq-community / math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
https://math-classes.github.io
MIT License
162 stars 43 forks source link

Inclusion in the Coq Platform #107

Closed MSoegtropIMC closed 2 years ago

MSoegtropIMC commented 3 years ago

Dear math-classes Team,

@VincentSE requested here (https://github.com/coq/platform/issues/31) and @palmskog requested here (https://github.com/coq/platform/issues/14) to include your development into the Coq Platform, which is the standard user facing distribution of Coq.

Coq Platform has a "full" and "extended" level. Inclusion in the "full" level requires an explicit statement by the maintainers, that they agree to the charter of the Coq Platform and intend to publish compatible releases for each release of Coq in a reasonable time frame. For the "extended" level the rules are more relaxed. For developments in the "full" level, users should be able to rely on that the package is maintained, so that they can base their own development on it without a large risk that they have to factor it out again later cause of maintenance issues.

Can you please comment in the Coq Platform issues mentioned above if you do want your package included in the Coq Platform in agreement to the Coq Platform charter, and if so which level you would prefer?

Best regards,

Michael

Zimmi48 commented 3 years ago

@spitters I think it's fine to commit to the full level. math-classes releases can be produced on time for each new Coq release given that it is already in Coq's CI.

spitters commented 3 years ago

Yes, please put math-classes in the full category.

On Mon, Sep 27, 2021 at 12:45 PM Théo Zimmermann @.***> wrote:

@spitters https://github.com/spitters I think it's fine to commit to the full level. math-classes releases can be produced on time for each new Coq release given that it is already in Coq's CI.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/coq-community/math-classes/issues/107#issuecomment-927744714, or unsubscribe https://github.com/notifications/unsubscribe-auth/AABTNTUFOFEQVP4SQG6TSL3UEBDMNANCNFSM5EXLKLNQ . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.