unshorn-forks/tba-2022
Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
Lean
Stargazers
No one’s star this repository yet.
Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
Lean
No one’s star this repository yet.