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…
Source: betterprogramming.pub