Sunday, December 31, 2017

New top story on Hacker News: Coming Soon: Machine-Checked Proofs in Everyday Development

Coming Soon: Machine-Checked Proofs in Everyday Development
96 by fuklief | 17 comments on Hacker News.


No comments:

Post a Comment