Gapt Generic Architecture for Proofs
Download

Gapt Ranking & Summary

Gapt Tags

generic Framework system architecture architecture Generic.IMRobot Architecture Journal substractive architecture 3D Architecture architecture loft architecture screensaver XmlSerializer generic Indian architecture write proofs Computer Architecture architecture processor generic factory access architecture programming architecture Generic Algorithm generic driver Oragon Architecture Control Architecture proofs Debugger Architecture generic data generic abstract factories enforce architecture synthesizer architecture synthesis architecture simulate computer architecture generic implementation micro-architecture framework architecture mexican architecture beautiful architecture technology architecture Architecture Blueprint contract proofs architecture designer architecture design generic parser Mascot Generic Format software architecture proof theory framework proof generic architecture proof theory component proof theory generic architecture Java architecture control generic provider generic provider Siena architecture generic BOINC wrapper SCSI architecture AOM architecture MVC architecture Architecture Simulator CLR Generic CUDA Compute Architecture Detect Architecture Alcatel-Lucent Architecture Mascot Generic File architecture manager Edit Generic Dictionary Generic Malware

Gapt Description

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 mechanized proof theory in particular. Take Gapt for a test drive to see how useful it can be in your development projects!

Gapt Related Software