Skip to content

Introduce eta-max vector

Sergey Bozhkorequested to merge
sbozhko/rt-proofs:etamax into master

Introduce the notion of eta-max vector and emax function.

(I'm not super happy with the comments, so suggest your improvements)

Edited by Sergey Bozhko

Merge request reports