The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic

The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collection of benchmark problems in a standardised syntax and performance results obtained by a comprehensive test of currently available intuitionistic theorem proving systems. These results are used to provide information about the status and the difficulty rating of the benchmark problems.

• Type: Conference
• Year: 2005
• Where: TABLEAUX
• Authors: Thomas Raths, Jens Otten, Christoph Kreitz
• Keywords: Artificial Intelligence, Intuitionistic Logic, Intuitionistic Logic Theorem, TABLEAUX 2005, Theorem Proving