Skip to content

IxVM def-eq: rebase open pairs to their minimum loose index - #546

Merged
arthurpaulino merged 1 commit into
mainfrom
ap/ixvm
Aug 11, 2026
Merged

IxVM def-eq: rebase open pairs to their minimum loose index#546
arthurpaulino merged 1 commit into
mainfrom
ap/ixvm

IxVM def-eq: rebase open pairs to their minimum loose index

fde291e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar