Stream: math-comp analysis

Topic: inclusion in the Coq platform


view this post on Zulip Karl Palmskog (Sep 28 2021 at 11:36):

anybody involved in analysis development who could comment here: https://github.com/coq/platform/issues/21

I use analysis in some of my projects, so would be nice to have a release in the platform (even if not all parts are stable) when new releases of Coq appear.

cc: @Cyril Cohen @Reynald Affeldt

view this post on Zulip Cyril Cohen (Sep 28 2021 at 11:46):

Karl Palmskog said:

anybody involved in analysis development who could comment here: https://github.com/coq/platform/issues/21

I use analysis in some of my projects, so would be nice to have a release in the platform (even if not all parts are stable) when new releases of Coq appear.

cc: Cyril Cohen Reynald Affeldt

Thanks for the reminder and sorry for lagging behind sometimes. I did write a statement. Tell me if you need more.

view this post on Zulip Karl Palmskog (Sep 28 2021 at 11:56):

that looks good, thanks!


Last updated: Aug 19 2022 at 19:03 UTC