Automated Theorem Proving in Isabelle/HOL
VU 4 WS 2006/07 LVA 703861
Time and Place
| VO | Thursday, 8:30 - 10:00 in HS 11 (architecture buildung) |
| UE | Wednesday, 12:00 - 14:00 in RR 19 |
The lecture starts on October 5, the exercise session on October 11.