Logic workspace
Proof Builder
Construct a rigorous proof by arranging statements into a valid sequence.
ClaimIf n is even, then n2 is even.
Build the proof by selecting statements from the toolbox.
Add statements in the order that proves the claim.
ToolboxAvailable Steps