Cover Image for System.Linq.Enumerable+EnumerablePartition`1[System.Char]

A Mechanised Proof of Gödel’s Incompleteness Theorems Using Nominal Isabelle

LC PAULSON

OAI: oai:www.repository.cam.ac.uk:1810/247014

Published by:

Abstract

Godel's incompleteness theorems Isabelle/HOL Nominal syntax Formalisation of mathematics