Skip to content
GitLab
Explore
Sign in
ProveIT
Isabelle Server Manager
Repository
ism
LICENSE
Find file
Blame
History
Permalink
Add LICENSE
· 9f12e134
Joshua Balthasar Kobschätzki
authored
Dec 20, 2023
9f12e134
This project is licensed under the
GNU Affero General Public License v3.0
.
Learn more