Info
This post is auto-generated from RSS feed Hacker News. Source: Lean proved this program correct; then I found a bug
Lean proved this program correct; then I found a bug
⚓ IT 📅 2026-04-14 👤 surdeus 👁️ 5