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
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.
that looks good, thanks!
Last updated: Feb 05 2023 at 06:28 UTC