Broken dependency graphs in the documentation
Something is going terribly wrong with the dependency graphs of the documentation: https://why3.gitlabpages.inria.fr/why3/syntaxref.html#library-int-mathematical-integers
Something is going terribly wrong with the dependency graphs of the documentation: https://why3.gitlabpages.inria.fr/why3/syntaxref.html#library-int-mathematical-integers