Information

Up to date information about installation, handling and bugs of the prototype Principia Mathematica II can be found at the web site:

    http://qedeq.org/prototype.html.