Code

Ch6 formula corrections#112

Code

Closed

alv-around wants to merge 2 commits intoLeastAuthority:mainLeastAuthority/moonmath-manual:mainfrom alv-around:ch6_formula_correctionsalv-around/moonmath-manual:ch6_formula_correctionsCopy head branch name to clipboard

+5-5

Commits

Commits on Jul 18, 2024

• chapter 6, example 119. correction decision function tiny_jj definition

  alv-around

  committed
  581a543

Commits on Jul 22, 2024

• chapter 6, example 132. fix wrong index for Witness in R_{3.fac_zk}

  alv-around

  committed
  fbbda63