search

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.02k stars 234 forks source link

Typo #374

Closed qucchia closed 4 weeks ago

qucchia commented 4 weeks ago

Although insure and ensure are almost synonymous, insure is usually used only in financial contexts.

rzach commented 4 weeks ago

Thanks, good point