eric provencher
@pvncher
Joined June 2013
4.9K Following 44.1K Followers
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.
Show more
