TY  - JOUR

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

JO  - Journal of Automated Reasoning

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  - 2025/11/27

ER  -