summaryrefslogtreecommitdiff
path: root/proofs
diff options
context:
space:
mode:
authorJaron Kent-Dobias <jaron@kent-dobias.com>2022-10-21 15:47:42 +0200
committerJaron Kent-Dobias <jaron@kent-dobias.com>2022-10-21 15:47:42 +0200
commita242819dab57a8fbfda184e0f6e448b6e6375717 (patch)
tree00b70c49fe5c080db8ee8dbbdcfafe9975d90a1a /proofs
parent87510f78bef9224f38f4588eccecd0d0247aa73d (diff)
downloadPRE_107_064111-a242819dab57a8fbfda184e0f6e448b6e6375717.tar.gz
PRE_107_064111-a242819dab57a8fbfda184e0f6e448b6e6375717.tar.bz2
PRE_107_064111-a242819dab57a8fbfda184e0f6e448b6e6375717.zip
Rearranged some exposition about the algorithmic threshold.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions