MATHEMATIC 4345
Formal Proof
Ohio State University-Lima Campus · UGRD · Fall 2026
1 section
Catalog description
This course provides an introduction to formal proof in mathematics. It is designed for math majors who seek a comprehensive under- standing of how to use proof assistants and how to encode a mathematical proof in such a way that one can formally verify its correctness. Prereq: A grade of C- or above in 3345, or permission of department.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #ohio_lima_campus-MATHEMATIC4345Fall 2026UGRD3 credits
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?