Skip to content

Turn on ROBOT's equivalent_class_axiom_no_genus check - #24

Open
hoodcm wants to merge 1 commit into
mainfrom
robot-equivalent-class-axiom-no-genus
Open

hoodcm wants to merge 1 commit into
mainfrom
robot-equivalent-class-axiom-no-genus

Commits

Commits on Oct 1, 2026