Sciweavers

Share
TABLEAUX
2005
Springer

The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic

10 years 14 days ago
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.
Thomas Raths, Jens Otten, Christoph Kreitz
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where TABLEAUX
Authors Thomas Raths, Jens Otten, Christoph Kreitz
Comments (0)
books