This short and compressed video provides a brief introduction to the Lean module.

click <here> to return to the Module Introduction page.