Skip to content

@gapt GAPT

Change the repository type filter

All

    Repositories list

    8 repositories

    • gapt

      Public
      GAPT: General Architecture for Proof Theory
      theorem-provingtacticssat-solverproofsscalaproofherbrand-disjunction
      Scala
      •
      GNU General Public License v3.0
      •18•94•43•0•Updated Nov 9, 2024Nov 9, 2024

    • website

      Public
      the gapt website
      HTML
      •0•0•0•0•Updated Sep 27, 2024Sep 27, 2024

    • 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•0•0•0•Updated Nov 6, 2018Nov 6, 2018

    • cutintro-results

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

    • archive

      Public
      collection of old documents and data pertaining to gapt development
      TeX
      •0•0•0•0•Updated May 3, 2017May 3, 2017