feat: Add BetaAt uniqueness, FV preservation, and left redex-count bound - #800
Open
lengyijun wants to merge 2 commits into
Open
feat: Add BetaAt uniqueness, FV preservation, and left redex-count bound#800lengyijun wants to merge 2 commits into
lengyijun wants to merge 2 commits into
Commits
Commits on Aug 14, 2026
- committed
- committed
