First formal system of Gödel Escher Bach
Primary LanguageJavaScriptMIT LicenseMIT
MIU is the first formal system of Gödel Escher Bach. Check here https://tn1ck.github.io/MIU/.