Skip to content

Commit

Permalink
Small rewording
Browse files Browse the repository at this point in the history
  • Loading branch information
@ccodel
ccodel committed Jun 9, 2024
1 parent 29ccadd commit e6ee943
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions ITP/encoding.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -184,9 +184,9 @@ \subsection*{Running the CNF.}
A skeptical reader might wish to examine the proof files for all subproblems,
but we estimated the total proof size to be tens or hundreds of terabytes,
far too much to reasonably store and distribute.
So, the skeptical reader must run the entire 3 CPU year computation.
Instead, the skeptical reader must run the entire 3 CPU year computation.
We believe this trust story can be somewhat improved,
but leave such a challenge as future work.
but we leave such a challenge to future work.

% file-local attic:

Expand Down

0 comments on commit e6ee943

Please sign in to comment.