Size of this PNG preview of this SVG file: 800 × 249 pixels. Other resolutions: 320 × 100 pixels | 640 × 199 pixels | 1,024 × 319 pixels | 1,280 × 399 pixels | 2,560 × 798 pixels | 963 × 300 pixels.
Original file (SVG file, nominally 963 × 300 pixels, file size: 15 KB)
 | This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
| Description |
Русский: Lean logo |
| Date | |
| Source | https://leanprover.github.io/ |
| Author | Lean |
Licensing
|
This logo image consists only of simple geometric shapes or text. It does not meet the threshold of originality needed for copyright protection, and is therefore in the public domain. Although it is free of copyright restrictions, this image may still be subject to other restrictions. See WP:PD § Fonts and typefaces or Template talk:PD-textlogo for more information.
|
|
This work includes material that may be protected as a trademark in some jurisdictions. If you want to use it, you have to ensure that you have the legal right to do so and that you do not infringe any trademark rights. See our general disclaimer. This tag does not indicate the copyright status of the attached work. A normal copyright tag is still required. See Commons:Licensing. |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 16:43, 1 April 2022 | | 963 × 300 (15 KB) | Alter73 | Cross-wiki upload from ru.wikipedia.org |
File usage
The following page uses this file:
Global file usage
The following other wikis use this file:
- Usage on de.wikipedia.org
- Usage on es.wikipedia.org
- Usage on fa.wikipedia.org
- Usage on fr.wikipedia.org
- Usage on ja.wikipedia.org
- Usage on ru.wikipedia.org
- Usage on uk.wikipedia.org
- Usage on vi.wikipedia.org
- Usage on www.wikidata.org
- Usage on zh.wikipedia.org
