Skip to content

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

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

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

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

4ab7d59
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-external-links
succeeded Jun 10, 2026 in 19s