MATH 492 TPL - Undergraduate Research in Math - Theorem proving in LEAN
Work closely with department faculty on a well-defined research project. Topics and nature of assistance vary. Capstone paper or computational project required. Course Information: 1 to 3 undergraduate hours. No graduate credit. Approved for Letter and S/U grading. May be repeated in separate terms up to 8 hours. Prerequisite: Evidence of adequate preparation for such study; consent of faculty member supervising the work; and approval of the department head.
Theorem proving in LEAN
Option 1Number of Required Visit(s): 0
Course Level: Graduate