Duke University
Class confirmed
MATH248S
25-26 Undergraduate Instruction · 2 sections
You found MATH 248S.
Formalization of Mathematics: Seminar on the proof assistant Lean
Harbor turns your MATH 248S 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