Statistics of Mechanizing Principia Logico-Metaphysica in Functional Type Theory

Contact ORBilu