Materials for a transition-to-proof course using an inverted classroom design.