# A Yellow Paper you can run: an independent executable EVM spec in Lean 4

- Channel: [Devcon](https://streameth.org/devcon)
- Date: 2026-11-06
- Watch: https://streameth.org/watch/yt-xF3aEgvNCSA
- YouTube: https://www.youtube.com/watch?v=xF3aEgvNCSA