The document discusses the development of an open-source web-based tool called ExPOUND for creating enhanced online proofs (e-Proofs) to help students better understand mathematical proofs. It aims to provide functionality for annotating proofs with audio explanations and highlighting or graying out parts of proofs. The tool is being built with rules to ensure consistency and control during development. Initial interface designs and prototypes have been created, and future plans include releasing open-source versions and evaluating the tool's effectiveness in helping students learn from proofs.

1. A web-based tool for supporting student comprehension of proofs, derivations or other arguments Lara Alcock Charles Shields, Nicola Wilkinson, Lee Barnett, Arun Palipana © Loughborough University

22. Interface structure ExPOUND Banner e-proof build area e-proof navigation bar Page and project timeline Menu palette Layers palette Tool Properties palette Tools palette

23. Interface Design

26. Questions