[ICON REQUEST]: lean4

### I have searched through the issues and didn't find my problem.

- [x] Confirm

### About the icon

lean4 theorem prover

### Links and sources

https://lean-lang.org/

<img width="552" height="552" alt="Image" src="https://github.com/user-attachments/assets/f0ad5116-da62-4e18-899a-0cefcf6f4d10" />

<img width="256" height="256" alt="Image" src="https://github.com/user-attachments/assets/5e37a759-39ff-41c9-a7ba-efadffc8fa1f" />

<img width="256" height="256" alt="Image" src="https://github.com/user-attachments/assets/e753ba3e-2318-4676-ac48-3ffd67b2e4eb" />

### Icon links and previews

#### lean-original-light
<img width="100px" src="https://lean-lang.org/static/favicon-light.ico" ></img>

https://lean-lang.org/static/favicon-light.ico

https://lean-lang.org/static/favicon-dark.ico

### Additional information

_No response_

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[ICON REQUEST]: lean4 #2687

I have searched through the issues and didn't find my problem.

About the icon

Links and sources

Icon links and previews

lean-original-light

Additional information

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

[ICON REQUEST]: lean4 #2687

Description

I have searched through the issues and didn't find my problem.

About the icon

Links and sources

Icon links and previews

lean-original-light

Additional information

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions