sgo.to

Hofstadter's MIU

This is a verification of Hofstadter's MIU system developed by Norman Megill using my metamath interpreter.

This page proves that M U I I U is entailed in Hofstadter's MIU system using only typographical transformations.

Here is Hofstadter's MIU system in metamath: