软件工程师的精益证明（Lean proof）解析

一篇面向软件工程师的文章解析了 Lean proof（精益证明）的构成，原文链接为 agostbiro.net。该文在 Hacker News 首页获得 15 points，由 abiro 发布于 2 小时前。