A description of how logical proofs can be translated into everyday arguments without losing rigor or accessibility.

https://wellfound.com/company/un-common-logic-2

A description of how logical proofs can be translated into everyday arguments without losing rigor or accessibility.