Back to Browse
Channel banner
Lean FRO

Lean FRO

272 subscribers
22 videos

The official YouTube channel managed by the Lean Focused Research Organization (FRO), the developers of the Lean programming language and theorem prover.

Latest Videos

Lean FRO - NatokHD | NatokHD