Skip to content

fix: avoid recursion in invariant side conditions - #611

Merged
MackieLoeffel merged 4 commits into
leanprover-community:masterfrom
n33levo:nsarkar/fix-iinv-name-recursion
Aug 12, 2026
Merged

fix: avoid recursion in invariant side conditions#611
MackieLoeffel merged 4 commits into
leanprover-community:masterfrom
n33levo:nsarkar/fix-iinv-name-recursion

tweak tests

b4982bd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Aug 12, 2026 in 3m 9s