Probabilistically Checkable Proofs Courses