Lewis Harland 

@formalverification
Lewis Harland is a research advisor for ID Theory - a fund investing in decentralised networks, an incentive design maximalist, and lover of all things Feynman.
394 subscribers
Formal Verification
Formal Verification
By Lewis Harland
A new kind of crypto research.