Popular repositories Loading

1. tba-2021 tba-2021 Public

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

   Lean 51 2

2. tba-2022 tba-2022 Public

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

   Lean 20 3

3. velcom-test-repo velcom-test-repo Public

   Python 1

4. velcom-unibench velcom-unibench Public

   A universal benchmark repo for velcom

   Python 1