MIU

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

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
LICENSE		LICENSE
README.md		README.md
index.html		index.html
script.js		script.js
style.css		style.css

Provide feedback