GitHub repository: jwiscons/IBL-IntroToProof
Primary language: TeX
Description: IBL task sequence for an introduction to proof course.