The Hitchhiker’s Guide to Logical Verification

by Anne Baanen, Alexander Bentkamp, Jasmin Blanchette

This guide is a companion to the MSc-level course Logical Verification (LoVe) taught at the Vrije Universiteit Amsterdam. Our primary aim is to teach interactive theorem proving.

203 pages, ebook

Published April 12, 2020

Reviews

[Samuel · Rating 5 out of 5]

A very well structured introduction into theorem proving with Lean. For a more exercise oriented introduction I think Mathematics in Lean would be a better choice but it was great introduction into Type Theory, and proving strategies in Lean.