Math Mutation 211 Saving A Few Million Years
Aug 30, 2015•6 min
Listen to this episode in Metacast mobile app
Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more
Episode description
I shamelessly plug my new Formal Verification book.
(Send feeback to erik@mathmutation.com)
For the best experience, listen in Metacast app for iOS or Android