Proving theorems and certifying programs with Coq by Stephan Boyer

0 views | 01:07:02 | 2022-01-09 | 0 likes / 0 dislikes

softinio

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...