An interactive application for exploring and understanding mathematical proofs.