- Date: Oct 24 (Sat), 1pm ~ 5pm (no strict timeout)
- Place: Hardware Lab (Building 302, Room 310-2)
- Midterm covers until 10/22 lecture (IndProp/Induction on Evidence).
- In the exam, you will write coq codes and submit them via a web server, like homework.
- Internet access will be forbidden except the submission server.