flâneur

TPTP

tptp.org · 910 words · saved by 1 readers

The TPTP World is the established infrastructure used by the Automated Theorem Proving (ATP) community for research, development, and deployment of ATP systems. The TPTP World has some key online components, accessible through the links in the logo images below. If you're new to all this, you might want to start at the TPTP and TSTP Quick Guide. You could also work your way through the slides of the TPTP World Tutorial. There is quite comprehensive documentation in the TPTP Problem Library's technical manual that is also relevant to other parts of the TPTP World. If you have any questions, suggestions, or contributions, please email Geoff Sutcliffe (the TPTP World is my baby :-) or Michael Rawson (he is stepping up :-). If you are not sure whether the TPTP World is for you, Get Inspired! The TPTP World Needs Money If your work benefits from use of the TPTP and related projects, consider making an annual cash donation to support the TPTP. A donation can be made as an unrestricted gift (

TPTP Search this site Embedded Files Skip to main content Skip to navigation The TPTP World The TPTP World is the established infrastructure used by the Automated Theorem Proving (ATP) community for research, development, and deployment of ATP systems. The TPTP World has some key online components, accessible through the links in the logo images below. If you're new to all this, you might want to start at the TPTP and TSTP Quick Guide . You could also work your way through the slides of the TPTP World Tutorial . There is quite comprehensive documentation in the TPTP Problem Library's technical

saved by

related reading