Skip to content

GitLab

Explore

Sign in

Prof. Ralf Hinze
VFP-2021

V

VFP-2021

Project information

Supportive material for the interactive lectures on „Verified Functional Programming“

12 Commits
1 Branch
0 Tags

README

Created on

June 06, 2021

Copy SSH clone URLgit@pl-git.informatik.uni-kl.de:hinze/vfp-2021.git
Copy HTTPS clone URLhttps://pl-git.informatik.uni-kl.de/hinze/vfp-2021.git