Scholars@Duke
MATH 248S: Formalization of Mathematics: Seminar on the proof assistant Lean

Recent Instructors

Colleen M Robles
Instructor Colleen M Robles Mathematics

Recent Semesters

  • 2025 Fall Term
  • 2024 Fall Term