Week 7: Inductive Predicates & Rule Induction
Overview
Lecturer
Session Information
- Date and Time:
- Note:
- Place:
- Online Meeting Link
- Session Recording
Core Concepts
Slides
Readings
Navigation
- ← Previous Week: Tactic-Based Proving II
- Back to Course Overview
- Next Week: Specifications & Program Verification →
Questions? Reach out on the course Zulip!