Distilling the requirements of Gödel's incompleteness theorems with a proof assistant
scientific article; zbMATH DE number 7433027
scientific article