search

bbchallenge / bbchallenge-proofs

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

nit-picking #23

Closed UncombedCoconut closed 5 months ago

UncombedCoconut commented 5 months ago

(my name's spelling, \text{} vs \operatorname{}, "regular…expression" phrasing within formula tape definition).