[ICON REQUEST]: lean4
Open
request:icon
- Dominant language
- CSS
- Stars
- 11.8k
- Forks
- 2.4k
- Avg merge
- 5d 9h
- Merged PRs (30d)
- 4
Description
### 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/
### Icon links and previews
#### lean-original-light
https://lean-lang.org/static/favicon-light.ico
https://lean-lang.org/static/favicon-dark.ico
### Additional information
_No response_
Contributor guide
Assessment
This issue has not been assessed yet.