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

More corrections #9

Closed wyleyr closed 7 years ago

wyleyr commented 7 years ago

Found a few typos in the new material (and a couple more in the old).

rzach commented 7 years ago

I cherry picked all but the commit changing the solutions numbering. Aaron's copied all the problems (w/ solutions where available) into the file, so no renumbering should be necessary