Fix typos for FAR - Githubissues

bbchallenge / bbchallenge-proofs

Mathematical proofs of the bbchallenge project.

Creative Commons Attribution 4.0 International

16 stars 6 forks source link

Closed int-y1 closed 8 months ago

int-y1 commented 10 months ago

Example 6.6 point 3: I changed the indices from $0$ to $5l-1$, because paper appears to use 0-indexing on $e$.
Example 6.3: "we ask the following" -> "we require the following", because this isn't a question.
Various typo / grammar fixes.

tcosmo commented 10 months ago

Thank you @int-y1 for the work!

@UncombedCoconut are you happy with the changes :) ?

UncombedCoconut commented 8 months ago

Sorry for the delay. Yes, these are all good and I'll merge now. Thanks!