Build Your Own Proof Assistant

Spring 2026

Mondays & Wednesdays, 11:00 AM - 12:15 PM

Siebel 0218