fix(owlgen): warn on single-child covering axiom equivalence#5
Open
jdsika wants to merge 31 commits into
Open
Commits
Commits on Apr 15, 2026
Commits on Apr 29, 2026
Commits on Apr 30, 2026
Commits on May 7, 2026
Commits on May 8, 2026
Commits on May 11, 2026
- authored andcommitted
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}
Commits on May 12, 2026
Commits on May 13, 2026
Commits on May 14, 2026
Commits on May 15, 2026
- authored
- authored
- committed
- authored
- authored
- authored
- authored
