@inproceedings{DBLP:conf/cade/0001T19,
  author    = {Andrei Popescu and
               Dmitriy Traytel},
  editor    = {Pascal Fontaine},
  title     = {A Formally Verified Abstract Account of {G}{\"{o}}del's Incompleteness
               Theorems},
  booktitle = {{CADE} 27},
  series    = {LNCS},
  volume    = {11716},
  pages     = {442--461},
  publisher = {Springer},
  year      = {2019},
  doi       = {10.1007/978-3-030-29436-6\_26},
}