Coming Soon: Machine-Checked Proofs in Everyday Development
96 by fuklief | 17 comments on Hacker News.
96 by fuklief | 17 comments on Hacker News.
Sunday, 31 December 2017
New top story on Hacker News: Coming Soon: Machine-Checked Proofs in Everyday Development
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment