Giters
GAPT (gapt)

GAPT

gapt

Geek Repo

General Architecture for Proof Theory

Home Page:https://logic.at/gapt/

Github PK Tool:Github PK Tool

GAPT's repositories

gapt

GAPT: General Architecture for Proof Theory

Language:ScalaLicense:GPL-3.0Stargazers:90Issues:12Issues:636

archive

collection of old documents and data pertaining to gapt development

Language:TeXStargazers:0Issues:6Issues:0

benchmarks

Tons of Inductive Problems: The Benchmarks

Language:SMTLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

cutintro-results

Language:Jupyter NotebookStargazers:0Issues:18Issues:0

gaptic-example

Template project for the gaptic tactics language.

Language:ScalaStargazers:0Issues:15Issues:0

SuperInd

Language:CLicense:GPL-2.0Stargazers:0Issues:6Issues:0

viper-results

Language:Jupyter NotebookStargazers:0Issues:17Issues:0

website

the gapt website

Language:HTMLStargazers:0Issues:15Issues:0