Article URL: https://medium.com/@Koukyosyumei/from-paper-to-proof-how-we-can-formally-verify-blockchain-protocols-with-lean4-part-1-a7b3d0fc563fComments URL: https://news.ycombinator.com/item?id=44593135Points: 1# Comments: 0