TY  - JOUR

T1  - Distilling the requirements of Gödel’s incompleteness theorems with a proof assistant

JO  - Journal of Automated Reasoning

UR  - https://eprints.whiterose.ac.uk/178722/

PY  - 2021/10/01

AU  - Popescu A

AU  - Traytel D

ED  - 

DO  - DOI: 10.1007/s10817-021-09599-8

PB  - Springer Science and Business Media LLC

VL  - 65

IS  - 7

SP  - 1027

EP  - 1070

Y2  - 2024/12/23

ER  -