 Work in metaphysics employing theorem-provers continues. Here of particular note is Ed Zalta’s ambitious and long-term attempt to ground metaphysics quite generally in computationally instantiated object theory (Fitelson &amp; Zalta 2007; Zalta 2020).  A link to Zalta’s project can be found in the Other Internet Resources section below. 