Repositories list

• velcom

  Public
  Continuous benchmarking

  Java

  •

  MIT License

  •1•18•4•10•Updated Aug 19, 2025Aug 19, 2025

• tba-2022

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

  Lean

  •3•20•0•1•Updated Jul 18, 2022Jul 18, 2022

• velcom-test-repo

  Public
  Python

  •0•1•1•0•Updated Nov 25, 2021Nov 25, 2021

• tba-2021

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

  lean4

  Lean

  •2•51•0•0•Updated Jul 1, 2021Jul 1, 2021

• velcom-unibench

  Public
  A universal benchmark repo for velcom

  Python

  •1•0•0•0•Updated Sep 26, 2020Sep 26, 2020