Carnegie Mellon University
Class confirmed
MSC21-321
Fall 2026 · 1 section
You found MSC 21-321.
Interactive Theorem Proving
Harbor turns your MSC 21-321 notes into a readiness map so you can see what looks solid, shaky, or missing.
Built from this class—not a generic study guide.
Free to open · No card