A Taste of Coq and Correct Code by Construction

People call us developers, architects, or even worse, engineers — as if we are calculating structural integrity before we start building. We are just playing with wooden blocks, and suddenly someone…

Related Keywords

France ,French ,Thierry Coquand ,Walter Schulze ,Software Engineers ,Microsoft ,Software Toddlers ,Correct Code ,Coq Proof ,Stack Overflow ,Search Tree ,Binary Search Tree ,Binary Search ,Tree Node ,Wreck It Ralph ,Proof Assistant ,Node Nil ,Little Typer ,Certified Programming ,Dependent Types ,Inductive Constructions ,