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
#121
Closed
Open
Created
May 23, 2018
by
François Bobot
@bobot
Owner
Check Isabelle realization
To upload designs, you'll need to enable LFS and have an admin enable hashed storage.
More information