New Natural Deduction Software for Mac

Deductions is a program that is designed to help understand and construct proofs in natural deduction (in the Logic Book style). It runs only on Macs, so I couldn’t try it out, but the videos look interesting.

One thought on “New Natural Deduction Software for Mac

Leave a Reply

Your email address will not be published. Required fields are marked *