Erased improper negation

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

Closed Rhalah closed 2 years ago

Rhalah commented 2 years ago

Erased improper negation at '\gap{x} is not gold' so it became '\gap{x} is gold'.

rzach commented 2 years ago

Thanks!