Track icon: Lean

[keiravillekode]

The logo is a stylized L∃∀N

Lean Logo Downloads

https://lean-lang.org/logos/

SVG format with transparent background

Lean Trademark Policy

https://lean-lang.org/trademark-policy/

Logos must be used in the form provided by Lean FRO, and must be accompanied by a symbol for unregistered trademarks: "(TM)" or a small "™". This may not be removed or obscured and must always be included with the logo.