Alexander Steen

Automation of Boolos' Curious Inference in Isabelle/HOL

by Christoph Benzmüller 📧, David Fuenmayor 📧, Alexander Steen and Geoff Sutcliffe