Skip to content

fix(owlgen): warn on single-child covering axiom equivalence#5

Closed
jdsika wants to merge 4 commits into
mainfrom
fix/owlgen-single-child-covering-axiom-upstream
Closed

fix(owlgen): warn on single-child covering axiom equivalence#5
jdsika wants to merge 4 commits into
mainfrom
fix/owlgen-single-child-covering-axiom-upstream

Merge branch 'main' into fix/owlgen-single-child-covering-axiom-upstream

e0668ea
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-external-links
succeeded Jun 18, 2026 in 26s