/IBL-IntroToProof

A textbook for the transition to proof course for mathematics majors utilizing IBL.

Primary LanguageTeX

Stargazers