TY  - RPRT
TI  - Towards Concise, Machine-discovered Proofs of Gödel's Two Incompleteness Theorems
AU  - Elijah Malaby
AU  - Bradley Dragun
AU  - John Licato
PY  - 2020
UR  - https://arxiv.org/abs/2005.02576
ID  - 2005.02576
ER  -