Ctrl + K
Sign in
Create account
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.
Formal Verification
396 subscribers
Subscribe
Activity
Posts
Likes
Reads (16)
Get app
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts