Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Armaël Guéneau
coq-bigO
Repository
master
Switch branch/tag
coq-bigO
LICENSE
Find file
Blame
History
Permalink
Add LICENSE & AUTHORS files
· bde8a0a1
Armaël Guéneau
authored
Oct 23, 2017
bde8a0a1
This project is licensed under the
GNU Lesser General Public License v3.0
.
Learn more
