GitHub repository: IPDSnelting/tba-2022
Primary language: Lean
Created: 2022-04-13T13:19:30Z
Description: Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition