Stream: math-comp analysis

Topic: Compiling master (as of today)


view this post on Zulip Pierre-Yves Strub (Nov 06 2020 at 18:10):

Which versions of Coq / MathComp / etc... are necessary to compile the master branch?

view this post on Zulip Pierre-Yves Strub (Nov 06 2020 at 19:05):

En fait, le fichier opam est à jour, c'est bon


Last updated: Mar 28 2024 at 23:01 UTC