IPDSnelting

IPDSnelting's repositories

tba-2021

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

Language:Lean50 9 2

tba-2022

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

Language:Lean16 90

velcom

Continuous benchmarking

Language:JavaMIT13 5 71

velcom-test-repo

Language:Python100

velcom-unibench

A universal benchmark repo for velcom

Language:Python000