Logical Verification

List all lecture notes.

My homepage.

Logical Verification

This is the official website. There is a Git repository and a book (also formatted for tablets).