Sunbelt Computer Software

PL/B Language Development and Support

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

Name	Name	Last commit message	Last commit date
Latest commit History 3 Commits
behave_differently.sh	behave_differently.sh
no.sh	no.sh
paradox.sh	paradox.sh
yes.sh	yes.sh

Helper scripts for understanding Gödel's Incompleteness Theorem

No releases published