This repository contains an embedding of Abstract Object Theory in Isabelle/HOL.

It implements major parts of the most recent presentation of object theory given in Edward Zalta's Principia Logico-Metaphysica in context of the Computational Metaphysics project of the Metaphysics Research Lab at Stanford University.

A more readable HTML presentation of the theory files is automatically generated form this repository.

An older and now outdated version of the embedding was published in the Archive of Formal Proofs.