Skip to content

Agentic fix to universe checking - #42

Open
elefthei wants to merge 6 commits into
devfrom
fix/universe-check
Open

elefthei wants to merge 6 commits into
devfrom
fix/universe-check

Require RelationAlgebra 1.9.0 for converse notation

748a488
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error, 1 warning, and 1 notice
tests (ubuntu-latest)
succeeded Oct 17, 2026 in 8m 1s