/MIU-System

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

Primary LanguageJava

Stargazers

No one’s star this repository yet.