Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Issues
#62
Closed
Open
Created
Dec 15, 2017
by
Guillaume Melquiond
@melquion
Owner
Merge theories and modules into a single directory
To upload designs, you'll need to enable LFS and have an admin enable hashed storage.
More information