☆ Yσɠƚԋσʂ ☆ to General Programming Discussion@lemmy.ml • 2 years agoFormalising Gödel's incompleteness theoremslawrencecpaulson.github.iomessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkFormalising Gödel's incompleteness theoremslawrencecpaulson.github.io☆ Yσɠƚԋσʂ ☆ to General Programming Discussion@lemmy.ml • 2 years agomessage-square0fedilink