Presentation by O
• https://github.com/leanEthereum/leanSpec• https://github.com/leanEthereum/pm• https://github.com/leanEthereum/leanMetrics• https://github.com/blockblaz/lean-quickstart• https://github.com/ReamLabs/pqdevnet-observatory