Gottschall, C. (2007): Principa Mathematica-Variante eines interaktiven Beweisbauers (Software)


    The Proof Builder is a program for interactively constructing proofs. It is available in four (or five) versions, each implementing a popular and/or interesting calculus. Development of the Principia Mathematica variant of the Proof Builder has been funded by the Institute of Philosophy of the University of Vienna