feat(B-0711): add FsCheck property-based tests for Residuated lattice IVM laws#4780

Closed

AceHack wants to merge 2 commits into

mainfrom

lior/residuated-fscheck

Commits on May 23, 2026

feat(B-0711): add FsCheck property-based tests for Residuated lattice IVM laws

AceHack
and
Gemini
committed

Commits on May 24, 2026

fix(tests): address review comments on Residuated lattice tests
AceHack
committed