https://a16zcrypto.com/posts/article/halmos-v0-3-0-release-highlights/
#formalVerify 框架 Halmos 推出了 0.3.0 版本