Interactive Theorem Proving with Lean

Spring 2025

Course Information

Lectures

Monday/Wednesday/Friday : 11:00 AM - 12:15 PM
Nethken 153

Office Hours

Monday:: 10:00 AM - 11:00 AM; 1:00 PM - 3:20 PM
Wednesday:: 10:00 AM - 11:00 AM; 1:00 PM - 3:20 PM
Friday:: 10:00 AM - 11:00 AM; 1:00 PM - 3:20 PM

Documents