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: Aug 19 2022 at 19:03 UTC