The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic.

Thomas Raths, Jens Otten, Christoph Kreitz

Browse the full TABLEAUX paper archive.