eric provencher
@pvncher
加入 June 2013
4.9K 正在关注 44.1K 粉丝
Very excited to dig into this
I really like that this is doing away with tests in favor of proofs.
If this is as good as I think it is, we may have to rewrite all software to use it.
It’s the only way to prevent bugs and vulnerabilities.
显示更多
