# Logical Verification

These are the core materials for the course "Logical Verification" taught by Jasmin Christian Blanchette and Johannes Hölzl at Vrije Universiteit Amsterdam in period 2 of 2018.
