GitHub - lacker/godel: Helper scripts for understanding Gödel's Incompleteness Theorem

Name		Name	Last commit message	Last commit date
Latest commit lacker paradox.sh Feb 24, 2022 721fe77 · Feb 24, 2022 History 3 Commits
behave_differently.sh		behave_differently.sh
no.sh		no.sh
paradox.sh		paradox.sh
yes.sh		yes.sh

About

Helper scripts for understanding Gödel's Incompleteness Theorem

No releases published

No packages published