Lean 4 Icon

[SrGaabriel]

Type

• File icon
• Folder icon

Context and associations

Should be associated with .lean files

References

I belive this is the only Lean Icon there is:

If it doesn't look good because of the aspect ratio, maybe both/either the existential and universal quantifiers part could also do

[SrGaabriel]

Note: just noticed the forall symbol is indeed used as the icon sometimes in the official Lean extension for VSCode, so if it the main logo doesn't fit, I believe the forall would be a good replacement.