Math Mutation 211 Saving A Few Million Years

Math Mutation

Math Mutation 211 Saving A Few Million Years

August 30, 2015

I shamelessly plug my new Formal Verification book.

(Send feeback to erik@mathmutation.com)

Welcome to Math Mutation, a podcast for people of all ages where we discuss fun, interesting, or just plain weird corners of mathematics that you would not have heard in school.