mu-puzzle
There are 1 repositories under mu-puzzle topic.
Deviloxide/MIU-System
An automated solver for Hofstadter’s formal system called MIU, from Gödel, Escher, Bach: an Eternal Golden Braid
There are 1 repositories under mu-puzzle topic.
An automated solver for Hofstadter’s formal system called MIU, from Gödel, Escher, Bach: an Eternal Golden Braid