Skip to content

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

Closed
zazabap wants to merge 2 commits into
mainfrom
feat/verify-type-incompatible
Closed

docs: verify-reduction — 5 type-incompatible reductions (math verified, needs decision variants)#996
zazabap wants to merge 2 commits into
mainfrom
feat/verify-type-incompatible

docs: verify-reduction — 5 type-incompatible reductions (math correct)

cb0b7b6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar