gapt / gapt

GAPT: General Architecture for Proof Theory

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

gapt/gapt Stargazers