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

Fix typo #34

Closed Lipen closed 5 years ago

Lipen commented 5 years ago

Fix small typo '3' -> '2', as reiteration rule at line 3 should be applied to line 2.