IPDSnelting tba-2022 Public Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition IPDSnelting/tba-2022’s past year of commit activity Lean 20 3 0 1 Updated Jul 18, 2022 IPDSnelting/velcom-test-repo’s past year of commit activity Python 1 0 1 0 Updated Nov 25, 2021 tba-2021 Public Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition IPDSnelting/tba-2021’s past year of commit activity Lean 51 2 0 0 Updated Jul 1, 2021 IPDSnelting/velcom-unibench’s past year of commit activity Python 0 1 0 0 Updated Sep 26, 2020