“The Senate Committee on Formal Methods Published a Coq Proof of Budgets Safety” Posted by andrewtable on Sunday March 11, 2018 @03:40AM from the twitter.com dept. https://twitter.com/mrkgrnao/status/972730077460000768 ( no comments | 2 points | on HN )
There are no comments yet.