TY  - RPRT
TI  - A Mechanised Proof of Gödel's Incompleteness Theorems using Nominal Isabelle
AU  - Lawrence C. Paulson
PY  - 2021
DO  - 10.1007/s10817-015-9322-8
UR  - https://arxiv.org/abs/2104.13792
ID  - 2104.13792
ER  -