An implementation of Douglas Hofstadter formal systems, from his book Gödel, Escher, Bach [in Python]

submitted by /u/stanislavb to r/programming
[link] [comments]