search

rzach / forallx-yyc

UCalgary version of forallx, an introduction to formal logic
https://forallx.openlogicproject.org/
Creative Commons Attribution 4.0 International
94 stars 30 forks source link

Probably a typo #96

Closed insighthorizon closed 5 months ago

insighthorizon commented 7 months ago

On the page 130 (Chapter 17.5), instead of

"The subproof started on line 3 is still open at line 3."

there should be the sentence

"The subproof started on line 3 is still open at line 5."

(The sub-subproof is still open at line 5, which is the problem being refered to in that paragraph.)

rzach commented 5 months ago

fixed in https://github.com/rzach/forallx-yyc/commit/034ff3de5f79708339a389beb32bd8cd1604052b; thanks!