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.
더 보기
