This repo contains a formalization of the MU-puzzle from my favorite book Gödel Escher Bach by Douglas Hofstaedter (chapter 1).
In MU.thy I formalized the MU-system and proved the solution to the puzzle, e.g. the fact that MU cannot be dervied.
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|