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

Typo #61

Closed marcusrossberg closed 2 years ago

marcusrossberg commented 2 years ago

"inductive" -> "Inductive" at start of sentence.

rzach commented 2 years ago

Thanks! I think I have to standardize "symbolize" will do that now.