Skip to content
GitLab
Explore
Sign in
Compare
Find file
Copy HTTPS clone URL
Copy SSH clone URL
git@git.informatik.uni-kiel.de:stu203400/haskell-to-coq-compiler.git
Copy HTTPS clone URL
https://git.informatik.uni-kiel.de/stu203400/haskell-to-coq-compiler.git
Loading