Stream: math-comp users

Topic: ✔ ssreflect incompatible with analysis

view this post on Zulip Congyan (Cruise) Song (Nov 23 2023 at 21:08):

Reynald Affeldt said:

Alternatively, if you do no rely crucially on features of mathcomp 2, you can use mathcomp 1.18 (where results of mathcomp 2 are backported) to be able to use mathcomp-analysis 0.6.6 (this month’s release).

Thank you for your advice!

view this post on Zulip Notification Bot (Nov 23 2023 at 21:09):

Congyan (Cruise) Song has marked this topic as resolved.

Last updated: Jul 25 2024 at 15:02 UTC