Open ramonawalls opened 3 years ago
Per issue #103: "As an aside, I think pco should come with a set of exemplar abox axioms that can simultaneously illustrate the sometimes meta-level thinking in pco, as well as serve as unit tests."
Per issue #103: "As an aside, I think pco should come with a set of exemplar abox axioms that can simultaneously illustrate the sometimes meta-level thinking in pco, as well as serve as unit tests."