Support Principia Mathematica formal system?

[jsigman]

Hello Alex! I read GEB about a decade ago, and recently have been enjoying Godel's Proof, which was the primary source for Hofstadter.

I'm interested to develop a godel numbering implementation in Python, and may find this package suitable for its basis. Would you ever support PM as a formal system? Best Johnny