Attempt to be precise about vdash * vs + - based on previous PR. - Githubissues

bbchallenge / bbchallenge-proofs

Mathematical proofs of the bbchallenge project.

Creative Commons Attribution 4.0 International

16 stars 6 forks source link

Attempt to be precise about vdash * vs + - based on previous PR. #26

Closed UncombedCoconut closed 5 months ago