An introduction to interactive theorem proving

Sara Kalvala and Mike Squire

• Abstract
• Course Notes: PDF