rramadass on C*: Unifying Programming and Verification in C (2025) · Hackerly

Comment on C*: Unifying Programming and Verification in C (2025)parent

https://news.ycombinator.com/item?id=49613696