Week 9: Structures, Typeclasses & Formalizing Mathematics
Overview
Lecturer
Session Information
- Date and Time:
- Place:
- Online Meeting Link
- Session Recording
Core Concepts
Slides
Week 9 Slides: Download PDF
Readings
Exercises & Extra Steps
Navigation
- ← Previous Week: Specifications & Program Verification
- Back to Course Overview
- Next Week: Lean, Rust, and the Future of Reliable Software →
Questions? Reach out on the course Zulip!