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