Re:A taste of Coq and correct code by construction
by zmgsabst on Sunday September 03, 2023 @06:13PM
(#37375105)
Turning a foam architectural model into a house without the required cost investment because the foam model was “so quick to make” feels like a frustratingly accurate description.
[ Parent
| on HN ]
There are no comments on this comment yet.