GAPT

gapt Public
GAPT: General Architecture for Proof Theory

Scala 84 GPL-3.0 16 43 0 Updated Aug 8, 2022
website Public
the gapt website

HTML 0 0 0 0 Updated Jul 21, 2022
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
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

Pinned