Listen

Description

I shamelessly plug my new Formal Verification book.

(Send feeback to erik@mathmutation.com)