Backward Reasoning: Difference between revisions
Jump to navigation
Jump to search
(Created page with "See [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 4] of bbchallenge's deciders write-up.") |
(categories) |
||
| Line 1: | Line 1: | ||
See [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 4] of bbchallenge's deciders write-up. | See [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 4] of bbchallenge's deciders write-up. | ||
[[Category:Stub]] | |||
[[Category:Deciders]] | |||
Revision as of 22:17, 4 February 2025
See Section 4 of bbchallenge's deciders write-up.