@Cyril Cohen Ah, perhaps that's what was blocking me... but I started to move my experiment away from Coq's Reals
to MC-analysis' reals
so I can't check anymore... I'll know if that works when I'll have fixed my other eqType
issues... thanks!
Julien Puydt has marked this topic as resolved.
Last updated: Feb 05 2023 at 14:02 UTC