PoL

PoL is a tutorial-driven project aiming to formalize and verify core blockchain concepts, such as consensus mechanisms, data availability, and trustless computation, using the Lean theorem prover. This project largely relies on Professor Tim Roughgarden's great lecture at Columbia University.