G

GEB

(CC0-1.0) A collection of programs representing the various formal systems introduced in Douglas R. Hofstadter's 'Gödel, Escher, Bach: an Eternal Golden Braid'