Stream: math-comp users

Topic: MathComp 1.11.0 OPAM packages Coq compatibility

Notification Bot (Jun 09 2020 at 14:58):

This topic was moved by Cyril Cohen to #math-comp devs > MathComp 1.11.0 OPAM packages Coq compatibility

Last updated: Feb 08 2023 at 08:02 UTC