Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless
4 points
2 hours ago
| 0 comments
| lesswrong.com
| HN
No one has commented on this post.