Skip to content

Resolve "add logical axioms from HPO into CPONT"

ehartley requested to merge 76-add-logical-axioms-into-cpont into main

Closes #76 (closed)

Edited by ehartley

Merge request reports