Towards Concise, Machine-Discovered Proofs of Gödel's Two Incompleteness Theorems. - Elijah Malaby; Bradley Dragun; John Licato (FLAIRS, 2020)