Lewis Harland
Publishes 1 feed
Formal Verification
A new kind of crypto research.
10 posts · theirs
Lately
Formal Verification - A New Chapter
In The Week
In The Network - Kyber
In The Week
In The Network - DEX Aggregators
In The Week
Radar - Pods
In The Week
In The Network - Opyn
In The Week
Everything on this page was read from markup Lewis Harland published — a rel="me" link, an h-card, or the feed’s own author element. Nothing was inferred from anywhere else. To correct or remove it, get in touch. Machine-readable: JSON