Subjective: I think this clarifies the usual case of |- for formula tapes… - Githubissues

bbchallenge / bbchallenge-proofs

Mathematical proofs of the bbchallenge project.

Creative Commons Attribution 4.0 International

16 stars 6 forks source link

Subjective: I think this clarifies the usual case of |- for formula tapes… #24

Closed UncombedCoconut closed 5 months ago

UncombedCoconut commented 5 months ago

and better matches the shift-rule case.