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