Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
A Python implementation of formal systems from the book “Gödel, Escher, Bach”
github.com/alexprengere
310 points
geospeck
9 years ago
45 comments
Loading...
A Python implementation of formal systems from the book “Gödel, Escher, Bach” | Heykuki News