Automation of Boolos' Curious Inference in Isabelle/HOL
by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe
by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe
Logic
Subject Classification
ACM: Theory of computation~Logic
AMS: Mathematical logic and foundations
2022
by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe