BoolosCuriousInference-ATP

This repository contains the data files as reported and discussed in the the following journal article:

• Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers. Benzmüller, C., Fuenmayor, D., Steen, A., & Sutcliffe, G. Logic Journal of the IGPL, 2023. https://doi.org/10.1093/jigpal/jzac082

A preprint of this article is available at:

• http://dx.doi.org/10.48550/arXiv.2208.06879 and https://www.researchgate.net/publication/362706598