Max von Hippel comments on Lies, Damned Lies, and Proofs: Formal Methods are not Slopless

[Max von Hippel]

Readers who enjoyed this might also like: https://​​lawrencecpaulson.github.io/​​2026/​​01/​​15/​​Broken_proofs.html