Skip to content

Resolve "add logical axioms from HPO into CPONT"

ehartleyrequested to merge
76-add-logical-axioms-into-cpont into main

Closes #76 (closed)

Edited by ehartley

Merge request reports