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

    Language:Java0100