A Python implementation of formal systems from the book “Gödel, Escher, Bach”github.com/alexprengere310 pointsgeospeck9 years ago