A place to share my interests in the Introduction to Proofs course and to gather information about free resources for this course.