/tba-2022

Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition

Primary LanguageLean

Stargazers

No one’s star this repository yet.