TN1ck / MIU

First formal system of Gödel Escher Bach

https://tn1ck.github.io/MIU/

formal-semantics geb blog

MIU

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

About

First formal system of Gödel Escher Bach

https://tn1ck.github.io/MIU/

formal-semantics geb blog

MIT License

Languages

Language:JavaScript 44.7%Language:HTML 44.2%Language:CSS 11.1%