bluesky — Hacker News Companion — 12 Sep 2026
The technical dispute focused on Lean proofs. A formal verification might be mathematically sound, but several people ar…
#proof-assistants #formal-verification #mathematical-logic
The technical dispute focused on Lean proofs. A formal verification might be mathematically sound, but several people argued a machine-checked proof that humans can't actually understand misses the point of mathematics entirely. #software 3/4