A Python implementation of formal systems from the book “Gödel, Escher, Bach”
My implementation of M-I-U, more than 30 years ago, as a kid, in Turbo Pascal.<p><a href="https://github.com/ehud/MIU" rel="nofollow">https://github.com/ehud/MIU</a>