Introduction to Proof, Spring 2026

Class essentials

• Course syllabus
• Course schedule
• Daily topics
• Overleaf template
• LaTeX tips

Resources and links

• Gradescope (click ``Log in'', then ``School Credentials'')
• ChatGPT You will need a free account
• Canvas (will be used very sparingly, if at all)
• Detextify. See how to write symbols in LaTeX
• Unicodeit Useful for writing math symbols in emails.
• Other instrutcors' Math 3190 lecture notes: Michael Burr, and Jim Coykendall.

Homework