Brown University
Class confirmed
CSCI1715
2026-2027 Course Catalog · 2 sections
You found CSCI 1715.
Formal Proof and Verification
Harbor turns your CSCI 1715 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