Deviloxide/MIU-System
An automated solver for Hofstadter’s formal system called MIU, from Gödel, Escher, Bach: an Eternal Golden Braid
Java
Stargazers
No one’s star this repository yet.
An automated solver for Hofstadter’s formal system called MIU, from Gödel, Escher, Bach: an Eternal Golden Braid
Java
No one’s star this repository yet.