Assignable Proof-Checking, Venn Diagram, and Truth Table modules allow students to enter solutions, check their validity, and receive meaningful feedback on their work.
To illustrate, the Proof-Checking Module enables students to enter a proof solution: