Repository navigation
fix: recognise set operation quantifiers written in any case - #2614
Merged
manticore-projects merged 1 commit intoSep 12, 2026
Merged
manticore-projects merged 1 commit into
manticore-projects merged 1 commit into
Commits
Commits on Sep 12, 2026