Der neue Dienst "GitLab am KIT" ist unter
gitlab.kit.edu
erreichbar.
Skip to content
GitLab
Explore
Sign in
unevo
Bachelor Thesis Isabelle-HOL Code
Repository
Compare
Find file
Copy HTTPS clone URL
Copy SSH clone URL
git@git.scc.kit.edu:unevo/bachelor-thesis-isabelle-hol-code.git
Copy HTTPS clone URL
https://git.scc.kit.edu/unevo/bachelor-thesis-isabelle-hol-code.git