This release is compatible with math-comp 2.0.0 to 2.2.0 (and probably 2.3.0) on Coq 8.16 to 8.20
This is the first release where a separate directory is provided to describe solely the real numbers, together with a separate opam description.
This release is compatible with math-comp 2.0.0 to 2.2.0 (and probably 2.3.0) on Coq 8.16 to 8.20
This is the first release where a separate directory is provided to describe solely the real numbers, together with a separate opam description.