Stream: math-comp analysis

Topic: release of 0.3

view this post on Zulip Reynald Affeldt (May 26 2020 at 18:12):

We are preparing the 0.3.0 version of mathcomp-analysis, please do not merge into master until further notice.

view this post on Zulip Reynald Affeldt (May 26 2020 at 18:33):

We have released the 0.3.0 version of mathcomp-analysis, it is now ok to merge into master.

view this post on Zulip Reynald Affeldt (May 26 2020 at 22:07):

The 0.3.0 version of mathcomp-analysis is available as an opam package in https://coq.inria.fr/opam/extra-dev.

Last updated: Apr 19 2024 at 12:02 UTC