vincentjzimmer / formalsystems Goto Github PK
View Code? Open in Web Editor NEWThis project forked from alexprengere/formalsystems
A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
Home Page: http://alexprengere.github.com/FormalSystems/
License: Apache License 2.0