Representation and Partial Automation of the Principia Logico-Metaphysica in Isabelle/HOL by Daniel Kirchner 📧 Sep 17