Formal Proof and Verification

Course command center

Scan the graph impact, grade reality, and student activity before you add it to a path.

GraphGradesPeople

CT Score

1500

#0 of 0 in CSCI

Difficulty

5.4/10

Workload

6.3h/wk

community estimate

Median grade

from grade distribution

Would take again

—

n = 0 verified

ESTIMATEStarted from public course data. The first verified student reviews replace these numbers.

Grade distribution

Student-reported · course feedback surveys

100%

By professor: same course, different game

PROFESSORSCOREGRADEHRS/WKTERMS

Tim; Lewis, Robert Nelson

7 community ratings

9.7

——

Robert Lewis

98 community ratings

——

Sections

S01 · Fall 202419/22 · filling up

In the tree

→CSCI 1951X→unlocks 0 courses

No mapped courses require this one yet. See on the map →

Study groups

0 active

🔒 Verified-only writes. You post as “sophomore, lecture section”: real enough to trust, anonymous enough to be honest.