#4 Theorem Provers, Functional Programming and Companies - Eric Bond

Eric Bond works at 47 degrees, a consulting firm specializing in Functional Programming. He shares insights into the rise of Lean in formal verification and the challenges of Haskell, contrasting it with Isabelle and Coq. The conversation highlights innovations in functional programming and type theory, especially in the context of the pandemic, promoting best practices in consulting. Eric also discusses the growing relevance of formal verification in the cryptocurrency space, alongside the enriching contributions of programming communities.