Skip to content
@gapt

GAPT

General Architecture for Proof Theory

Pinned Loading

  1. gapt gapt Public

    GAPT: General Architecture for Proof Theory

    Scala 112 19

Repositories

Showing 8 of 8 repositories
  • gapt Public

    GAPT: General Architecture for Proof Theory

    gapt/gapt's past year of commit activity
    Scala 112 GPL-3.0 19 45 0 Updated Sep 1, 2026
  • website Public

    the gapt website

    gapt/website's past year of commit activity
    HTML 0 0 0 0 Updated Mar 19, 2026
  • archive Public

    archive of documents and data pertaining to gapt development

    gapt/archive's past year of commit activity
    TeX 0 0 0 0 Updated Oct 17, 2025
  • 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 1 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

Top languages

Loading…

Most used topics

Loading…