Karl Palmskog (Sep 28 2021 at 11:36): 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
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.
Karl Palmskog (Sep 28 2021 at 11:56):that looks good, thanks!
Last updated: Feb 05 2023 at 06:28 UTC