docs: verify-reduction — 5 type-incompatible reductions (math verified, needs decision variants)#996

zazabap wants to merge 2 commits intomainCodingThrust/problem-reductions:mainfrom

feat/verify-type-incompatibleCodingThrust/problem-reductions:feat/verify-type-incompatibleCopy head branch name to clipboard