You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Typo: At the end of this section, in the paragraph before the next section (The NAND-CIRC Programming language), there is a typo.
"The crucial observation is... c_{i+1} <- MAJ_3(u_i, v_i, v_i)" should be "MAJ_3(u_i, v_i, c_i)".
The text was updated successfully, but these errors were encountered:
"The crucial observation is... c_{i+1} <- MAJ_3(u_i, v_i, v_i)" should be "MAJ_3(u_i, v_i, c_i)".
The text was updated successfully, but these errors were encountered: