[hacker news] Lean proved this program was correct; then I found a bug]

摘要

Lean proved this program was correct; then I found a bug]

来源

本文首发于 hacker news。

阅读原文：[Lean proved this program was correct; then I found a bug]](https://kirancodes.me/posts/log-who-watches-the-watchers.html)