We have proof automation now

Article URL: https://www.imperialviolet.org/2026/07/26/zstd-lean.html

Comments URL: https://news.ycombinator.com/item?id=49062291

Points: 5

# Comments: 0