GitHub repository: IPDSnelting/tba-2021
Primary language: Lean
Created: 2021-04-06T09:03:45Z
Description: Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition