Skip to content

@gapt GAPT

Change the repository type filter

All

    Repositories list

    8 repositories

    • gapt

      Public
      GAPT: General Architecture for Proof Theory
      scalaprooftheorem-provingtacticssat-solverproofsherbrand-disjunction
      Scala
      •
      GNU General Public License v3.0
      •19•106•44•0•Updated Dec 5, 2025Dec 5, 2025

    • archive

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

    • website

      Public
      the gapt website
      HTML
      •0•0•0•0•Updated Aug 8, 2025Aug 8, 2025

    • SuperInd

      Public
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Nov 19, 2021Nov 19, 2021

    • viper-results

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Jun 20, 2019Jun 20, 2019

    • benchmarks

      Public
      Tons of Inductive Problems: The Benchmarks
      SMT
      •
      BSD 3-Clause "New" or "Revised" License
      •6•0•0•0•Updated May 7, 2019May 7, 2019

    • gaptic-example

      Public
      Template project for the gaptic tactics language.
      Scala
      •0•1•0•0•Updated Nov 6, 2018Nov 6, 2018

    • cutintro-results

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Sep 4, 2017Sep 4, 2017