Formal verification

Justin Drake points new researchers toward Lean

Devcon attributes to Justin Drake a recommendation that young developers and researchers working on Ethereum’s quantum-resistant future focus on Lean. The post presents a research-direction argument, rather than an announcement of a deployed protocol change.

ETH Canal ·

Devcon attributes to Justin Drake a recommendation that young developers and researchers working on Ethereum’s quantum-resistant future focus on Lean. The post presents a research-direction argument, rather than an announcement of a deployed protocol change.