#4 Theorem Provers, Functional Programming and Companies - Eric Bond | Type Theory Forall | Podwise