MIU is the first formal system of Gödel Escher Bach. Check here https://tn1ck.github.io/MIU/.
First formal system of Gödel Escher Bach
License
TN1ck/MIU
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
First formal system of Gödel Escher Bach
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published