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