@inproceedings{inproceedings, title = {{A formally verified abstract account of G枚del鈥檚 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 2025/05/27}}}