docs: add proposed reduction rules verification note (9 reductions) - #975
Closed
zazabap wants to merge 32 commits into
Closed
docs: add proposed reduction rules verification note (9 reductions)#975zazabap wants to merge 32 commits into
zazabap wants to merge 32 commits into