File:Lean_logo2.svg
维基百科,自由的 encyclopedia
![File:Lean logo2.svg](http://upload.wikimedia.org/wikipedia/commons/thumb/d/dc/Lean_logo2.svg/800px-Lean_logo2.svg.png)
此SVG文件的PNG预览的大小:800 × 249像素。 其他分辨率:320 × 100像素 | 640 × 199像素 | 1,024 × 319像素 | 1,280 × 399像素 | 2,560 × 798像素 | 963 × 300像素。
原始文件 (SVG文件,尺寸为963 × 300像素,文件大小:15 KB)
摘要
描述Lean logo2.svg |
Русский: Lean logo |
日期 | |
来源 | https://leanprover.github.io/ |
作者 | Lean |
许可协议
Public domainPublic domainfalsefalse |
![]() |
本标志图片仅包含简单的几何图形或文字,没有达到受版权保护所需的原创性门槛,故属于公有领域。虽然不受版权保护,本图仍受到其他限制。详情请见Wikipedia:公有領域 § 字体与Template talk:PD-textlogo。
|
![]() |
本作品含有受商标法保护的内容。任意使用以致于侵害到商标拥有者的权益将可能会面临刑事责任与民事赔偿。请用户使用前自行查明相关法律规定并承担一切风险与责任。详情请参见免责声明。 此标签不表示文件的著作权状态。任何文件在附有此标签的同時还需要一个有效的著作权标签。请参阅许可协议说明页面以了解更多信息。 |
说明
添加一行文字以描述该文件所表现的内容
此文件中描述的项目
描绘内容
1 4 2022
文件历史
点击某个日期/时间查看对应时刻的文件。
日期/时间 | 缩略图 | 大小 | 用户 | 备注 | |
---|---|---|---|---|---|
当前 | 2022年4月1日 (五) 16:43 | ![]() | 963 × 300(15 KB) | Alter73 | Cross-wiki upload from ru.wikipedia.org |
文件用途
以下2个页面使用本文件:
全域文件用途
以下其他wiki使用此文件:
- de.wikipedia.org上的用途
- en.wikipedia.org上的用途
- es.wikipedia.org上的用途
- fa.wikipedia.org上的用途
- fr.wikipedia.org上的用途
- ja.wikipedia.org上的用途
- ru.wikipedia.org上的用途
- uk.wikipedia.org上的用途
- vi.wikipedia.org上的用途
- www.wikidata.org上的用途
元数据
此文件含有额外信息,这些信息可能是创建或数字化该文件时使用的数码相机或扫描仪所添加的。如果文件已从其原始状态修改,某些详细信息可能无法完全反映修改后的文件。
宽度 | 962.5 |
---|---|
高度 | 300 |