证明的通用体系结构

This website is outdated. For up-to-date information about the gapt system, please see [the official gapt website](http://www.logic.at/gapt) and [the development website at github](http://www.github.com/gapt/gapt). GAPT is a proof theory framework. The framework aims at creating data types, algorithms, parsers, transformations and other components common in proof theory in general and automated proof theory in particular. Some of the applications within this framework, which are directly developed and maintained, are: * CERes - Cut Elimination by Resolution * ATP and interfaces to other theorem provers for various logical systems * CERes for Schematic Proofs * Cut-Introduction Download notice: Since Jan 2014, Google Code does not allow any additions to the