Repositories list

• velcom

  Public
  Continuous benchmarking

  Java

  •

  MIT License

  •1•14•4•5•Updated Jun 12, 2024Jun 12, 2024

• tba-2022

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

  Lean

  •2•16•0•0•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•50•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