Skip to content
@gapt

GAPT

General Architecture for Proof Theory

Pinned

  1. gapt gapt Public

    GAPT: General Architecture for Proof Theory

    Scala 94 18

Repositories

Showing 8 of 8 repositories
  • gapt Public

    GAPT: General Architecture for Proof Theory

    gapt/gapt’s past year of commit activity
    Scala 94 GPL-3.0 18 44 0 Updated Aug 6, 2024
  • website Public

    the gapt website

    gapt/website’s past year of commit activity
    HTML 0 0 0 0 Updated Dec 7, 2023
  • SuperInd Public
    gapt/SuperInd’s past year of commit activity
    C 0 GPL-2.0 0 0 0 Updated Nov 19, 2021
  • viper-results Public
    gapt/viper-results’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Jun 20, 2019
  • benchmarks Public Forked from tip-org/benchmarks

    Tons of Inductive Problems: The Benchmarks

    gapt/benchmarks’s past year of commit activity
    SMT 0 BSD-3-Clause 6 0 0 Updated May 7, 2019
  • gaptic-example Public

    Template project for the gaptic tactics language.

    gapt/gaptic-example’s past year of commit activity
    Scala 0 0 0 0 Updated Nov 6, 2018
  • cutintro-results Public
    gapt/cutintro-results’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Sep 4, 2017
  • archive Public

    collection of old documents and data pertaining to gapt development

    gapt/archive’s past year of commit activity
    TeX 0 0 0 0 Updated May 3, 2017

Top languages

Loading…

Most used topics

Loading…