G github.com A Python implementation of formal systems from the book “Gödel, Escher, Bach” 310 points geospeck 9 years ago 45 comments
