TN1ck / MIU Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

First formal system of Gödel Escher Bach

tn1ck.github.io/miu/

1 star 0 forks Branches Tags Activity

Notifications

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

Repository files navigation

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

tn1ck.github.io/MIU/

blog formal-semantics geb

Report repository

Releases

No releases published

Packages

No packages published

Languages