GitHub repository: mitchkeller/IBL-IntroToProof
Description: IBL task sequence for an introduction to proof course.