search

bbchallenge / bbchallenge-proofs

Mathematical proofs of the bbchallenge project.
Creative Commons Attribution 4.0 International
16 stars 6 forks source link

Clean up section on backward reasoning #16

Closed int-y1 closed 10 months ago

int-y1 commented 11 months ago

Changes:

tcosmo commented 10 months ago

Thank you for the work!