Add Math Classes to the Coq Platform

[palmskog]

Math Classes is a Coq project that provides abstract interfaces for mathematical structures based on type classes.

Since Math Classes is a general, useful, and well-known library used by large projects such as CoRN, I propose that it should be included in the Coq Platform. Math Classes has had consistent opam-packaged releases since Coq 8.8.

@spitters is the maintainer of Math Classes.

[MSoegtropIMC]

I already silently included it as prerequisite of CoRN (for which I took the request of @VincentSe as maintainer agreement), but I guess we should request the agreement of Bas Splitters, which I will do.

[spitters]

Yes, please add math-classes to platform.

…

On Sat, Sep 25, 2021 at 10:21 AM MSoegtropIMC ***@***.***> wrote: I already silently included it as prerequisite of CoRN (for which I took the request of @VincentSe <https://github.com/VincentSe> as maintainer agreement), but I guess we should request the agreement of Bas Splitters, which I will do. — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#14 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AABTNTQLKHFGEDC4GTQ23E3UDWA7TANCNFSM4PVH3UWQ> . 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>.

[MSoegtropIMC]

I included coq-math-classes.8.13.0 via (#143).

I plan to include it in 8.14+beta as well.