Proving theorems and certifying programs with Coq by Stephan Boyer
softinio | 0 views | 2022-01-09
Talk by Stephan Boyer at the Bay Area Haskell Users Group (BAHUG) meetup at Formation, December 11 2018. Have you ever wanted to formally prove an algorithm correct or a theorem true? This talk will show you how! We'll cover the fundamentals of...