A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach" - View it on GitHub