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.
もっと見る
