HN
Need help?
Search
Search
Login
Sign Out
<- Back
Formal Methods and the Future of Programming
nextos
Comments (2)
Menu
Taikonerd
Dupe of
https://news.ycombinator.com/item?id=48526633