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