B blog.acolyer.org An empirical study on the correctness of formally verified distributed systems 105 points mpweiher 9 years ago 16 comments
