An Introduction to Proof via Inquiry-Based Learning

IBL task sequence for an introduction to proof course.

View the Project on GitHub dcernst/IBL-IntroToProof


These notes are an IBL task sequence for an introduction to proof course. I would be thrilled if you used these notes and improved them. If you make any modifications, you can either make a pull request on GitHub or submit the improvements to me via email.

The majority of the material was written by me (Dana C. Ernst, but several others have contributed content. Below is a partial list of people (alphabetical by last name) that I need to thank for supplying content, advice, and feedback.

License Information

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 license. You are free to:

Under the following conditions:

When attributing this work, please include the individuals listed above, as well as me.


I would love to see people contributing to this project. In particular, I'm looking for folks to contribute to the following items:

Check out the other issues for ways to contribute.