Gödel Incompleteness and Proof-Assistants Extended Abstract | IEEE Conference Publication | IEEE Xplore