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.
顯示更多
