• Formal methods on some PoS stuff https://medium.com/@pirapira/formal-methods-on-some-pos-stuff-e309775c2ab8#.p2c8b5rn4 14 comments 25/2/2017 ethereum