Skip to content
@gapt

GAPT

General Architecture for Proof Theory

Pinned Loading

  1. gapt Public

    GAPT: General Architecture for Proof Theory

    Scala 98 18

Repositories

Showing 8 of 8 repositories
  • website Public

    the gapt website

    HTML 0 0 0 0 Updated Mar 13, 2025
  • gapt Public

    GAPT: General Architecture for Proof Theory

    Scala 98 GPL-3.0 18 43 0 Updated Mar 13, 2025
  • SuperInd Public
    C 0 GPL-2.0 0 0 0 Updated Nov 19, 2021
  • viper-results Public
    Jupyter Notebook 0 0 0 0 Updated Jun 20, 2019
  • benchmarks Public Forked from tip-org/benchmarks

    Tons of Inductive Problems: The Benchmarks

    SMT 0 BSD-3-Clause 6 0 0 Updated May 7, 2019
  • gaptic-example Public

    Template project for the gaptic tactics language.

    Scala 0 0 0 0 Updated Nov 6, 2018
  • cutintro-results Public
    Jupyter Notebook 0 0 0 0 Updated Sep 4, 2017
  • archive Public

    collection of old documents and data pertaining to gapt development

    TeX 0 0 0 0 Updated May 3, 2017

Top languages

Loading…

Most used topics

Loading…