This lecture will cover as much of the following web page as we can get through.
Writing Proofs in Deduce