✍️ "Testing shows the presence of bugs, but never their absence." — Edsger W. Dijkstra
In the 1970s, Dijkstra advocated that verification should replace testing as the first approach to software quality. Testing "won", but what if this wasn't the end of the story? #fsharpspeakez.ai/blog/verifyi...
