/MIU

First formal system of Gödel Escher Bach

Primary LanguageJavaScriptMIT LicenseMIT