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

Double "Consider:" #37

Closed emilberwald closed 4 years ago

emilberwald commented 4 years ago

Seems to be an error here ("Consider: Consider:"): https://github.com/rzach/forallx-yyc/blob/40ecc8a6e1030fc068a4ba9866773c4b0e8bf970/forallx-yyc-tfl.tex#L234

rzach commented 4 years ago

Right you are; thanks!