Software Developed by Wandering Mango

Deductions  v.1.3

Deductions is educational software designed to help students learn proofs in formal logic.

Newest Reviews