Skip to content

Infinite equality lookup fix#2110

Open
Negabinary wants to merge 1 commit intoproof-selectionfrom
fix-infinite-lookup
Open

Infinite equality lookup fix#2110
Negabinary wants to merge 1 commit intoproof-selectionfrom
fix-infinite-lookup

Commits

Commits on Feb 10, 2026