Skip to content

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

67fd16b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

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

Merge branch 'main' into fix/owlgen-single-child-covering-axiom-upstream
67fd16b
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
quality-checks
succeeded May 31, 2026 in 49s