Automation of Boolos' Curious Inference in Isabelle/HOL by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe Dec 05
A Sequent Calculus Prover for First-Order Logic with Functions by Asta Halkjær From and Frederik Krogsdal Jacobsen Jan 31
From Abstract to Concrete Gödel's Incompleteness Theorems—Part II by Andrei Popescu and Dmitriy Traytel Sep 16
From Abstract to Concrete Gödel's Incompleteness Theorems—Part I by Andrei Popescu and Dmitriy Traytel Sep 16
An Abstract Formalization of Gödel's Incompleteness Theorems by Andrei Popescu and Dmitriy Traytel Sep 16