gapt / gapt

GAPT: General Architecture for Proof Theory

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

Repository from Github https://github.comgapt/gaptRepository from Github https://github.comgapt/gapt

gapt/gapt Stargazers