Skip to content
Change the repository type filter

All

    Repositories list

    • gapt

      Public
      GAPT: General Architecture for Proof Theory
      Scala
      19106440Updated Dec 5, 2025Dec 5, 2025
    • archive

      Public
      archive of documents and data pertaining to gapt development
      TeX
      0000Updated Oct 17, 2025Oct 17, 2025
    • website

      Public
      the gapt website
      HTML
      0000Updated Aug 8, 2025Aug 8, 2025
    • SuperInd

      Public
      C
      0000Updated Nov 19, 2021Nov 19, 2021
    • Jupyter Notebook
      0000Updated Jun 20, 2019Jun 20, 2019
    • Tons of Inductive Problems: The Benchmarks
      SMT
      6000Updated May 7, 2019May 7, 2019
    • Template project for the gaptic tactics language.
      Scala
      0100Updated Nov 6, 2018Nov 6, 2018
    • Jupyter Notebook
      0000Updated Sep 4, 2017Sep 4, 2017