Closed goo-design closed 5 months ago
p.13 “valid if it is formally valid” for “valid iff it is formally valid”
It already says "if" I think?
Sorry I meant the opposite. “iff” instead of “if”, or maybe “only if” instead of “if.”
fixed in https://github.com/rzach/forallx-yyc/commit/034ff3de5f79708339a389beb32bd8cd1604052b; thanks!
p.13 “valid if it is formally valid” for “valid iff it is formally valid”