Witness checker: exact nested types in matches() (R-1) - #382

Witness checker: exact nested types in matches() (R-1)#382

d6g8k5htny-coder merged 1 commit into

maind6g8k5htny-coder/Math-:mainfrom

claude/witness-checker-r1-20261006d6g8k5htny-coder/Math-:claude/witness-checker-r1-20261006Copy head branch name to clipboard