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

Commits

Commits on Jun 9, 2026