3 followers
Learning by building cool stuff myself | Security Researcher @ OpenZeppelin
Convert programs to logical formulas and prove properties about them ยท Imagine being able to prove that, no matter what inputs your program receives,...
