MATHEMATIC 4345

Formal Proof

Ohio State University-Mansfield 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

Updated 4 hours ago

001

Availability not recently verified

Class #ohio_mansfield_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?