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
Branches
Overview
Active
Stale
All
main
default
protected
e7b274d9
·
Write some docs
·
Jul 05, 2021