Formal Verification | Lewis Harland | Substack

A new kind of crypto research.

May 7, 2020

Dear Formal Verification members, Apologies for the radio silence in the last few days! When I came up with the idea of Formal Verification back in…

Sep 4, 2020

Loopring, OMG Network, Ren, xTokens, Nexus Mutual

Aug 21, 2020

Volume, BRRs, Fees

Aug 18, 2020

Ethereum, Chi, Curve, Aragon, Tezos

Aug 14, 2020

Adoption, Evolution, Efficiencies

Aug 11, 2020

0x, Set, Ren, Aave, Opyn

Aug 7, 2020

One of the largest opportunities for DeFi protocols to tap into is the derivative market. With over $4 billion now locked in DeFi, there is a growing…

Aug 5, 2020

Formal Verification

About Archive Sitemap

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts