@inproceedings{inproceedings, title  = {{A formally verified abstract account of Gödel’s incompleteness theorems}},

 publisher = {{Springer International Publishing}},

 url = {{}},

 year = {{2019}},

 month = {{8}},

 author = {{Popescu A and Traytel D}},

 doi = {{10.1007/978-3-030-29436-6_26}},

 isbn = {{9783030294359}},

 journal = {{Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings}},

 pages = {{442-461}},

 note = {{Accessed on 2024/12/23}}}