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