Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
Home Page:https://pp.ipd.kit.edu/lehre/SS2021/tba/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool