Halting Segment: Difference between revisions
Jump to navigation
Jump to search
(Added sections aswell as time of introduction) |
m (Fixed reference) |
||
| Line 1: | Line 1: | ||
{{Stub}} | {{Stub}} | ||
==History== | ==History== | ||
* In July 2022, the Halting Segment decider is first introduced by lijil.<ref>https://discuss. | * In July 2022, the Halting Segment decider is first introduced by lijil.<ref>https://discuss.bbchallenge.org/t/decider-halting-segment/75</ref> | ||
==See also== | ==See also== | ||
[https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 5] of bbchallenge deciders' write-up. | [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 5] of bbchallenge deciders' write-up. | ||
==References== | ==References== | ||
[[Category:Deciders]] | [[Category:Deciders]] | ||