Skip to content

@IPDSnelting IPDSnelting

Change the repository type filter

All

    Repositories list

    4 repositories

    • 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
      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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.