MIU A simple Java implementation of MIU System from GEB by Hofstadter, with a simple abstraction of formal systems. Checks tests part first for the usage pattern.