# LeanSpec and Tooling - Unnawut

- Channel: [Ethereum Protocol Fellowship](https://streameth.org/ethereum_protocol_fellowship)
- Date: 2026-04-09
- Duration: 1:28:16
- Watch: https://streameth.org/watch/yt-p5qOndwbni4
- YouTube: https://www.youtube.com/watch?v=p5qOndwbni4

## Description

https://study.epf.wiki/mod/page/view.php?id=77