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

Turn on ROBOT's equivalent_class_axiom_no_genus check#24
hoodcm wants to merge 1 commit into
mainfrom
robot-equivalent-class-axiom-no-genus

Turn on ROBOT's equivalent_class_axiom_no_genus check at its default …

f8486d1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
robot-integrity
succeeded Oct 1, 2026 in 43s