Skip to content

Prove literal IN lists with a membership gadget - #210

Merged
alireza-shirzad merged 1 commit into
mainfrom
in-list-membership
Nov 11, 2026
Merged

Prove literal IN lists with a membership gadget#210
alireza-shirzad merged 1 commit into
mainfrom
in-list-membership

Commits

  1. Commits on Nov 11, 2026