/MIU-System

An automated solver for Hofstadter’s formal system called MIU, from Gödel, Escher, Bach: an Eternal Golden Braid

Primary LanguageJava

Watchers