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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information