Skip to main content

Module batch_eval

Module batch_eval 

Source
Expand description

Reducing many evaluation claims on one multilinear to a single claim.

Functionsยง

verify
Reduces evaluation claims on one multilinear at several points to one claim at one point.