research
∙
08/14/2022
Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers
This paper reports on an exploration of variants of Boolos' curious infe...
research
∙
01/14/2020