跳转到内容

File:Lean logo2.svg

页面内容不支持其他语言。
这个文件来自维基共享资源
维基百科,自由的百科全书

原始文件 (SVG文件,尺寸为963 × 300像素,文件大小:15 KB)


摘要

描述
Русский: Lean logo
日期
来源 https://leanprover.github.io/
作者 Lean

许可协议

Public domain
本标志图片仅包含简单的几何图形或文字,没有达到受版权保护所需的原创性门槛,故属于公有领域。虽然不受版权保护,本图仍受到其他限制。详情请见Wikipedia:公有領域 § 字体Template talk:PD-textlogo
Trademarked 本作品含有受商标法保护的内容。任意使用以致于侵害到商标拥有者的权益将可能会面临刑事责任与民事赔偿。请用户使用前自行查明相关法律规定并承担一切风险与责任。详情请参见免责声明
此标签不表示文件的著作权状态。任何文件在附有此标签的同時还需要一个有效的著作权标签请参阅许可协议说明页面以了解更多信息。

说明

添加一行文字以描述该文件所表现的内容

此文件中描述的项目

描绘内容

文件来源 简体中文(已转写)

上传者的原创作品 简体中文(已转写)

数据大小 简体中文(已转写)

15,321 字节

image/svg+xml

校验和 简体中文(已转写)

4d2b37a1f3d79e6c3aa4a74b21bff363892b1de9

断定方法:​SHA-1 简体中文(已转写)

文件历史

点击某个日期/时间查看对应时刻的文件。

日期/时间缩⁠略⁠图大小用户备注
当前2022年4月1日 (五) 16:432022年4月1日 (五) 16:43版本的缩略图963 × 300(15 KB)Alter73Cross-wiki upload from ru.wikipedia.org

以下2个页面使用本文件:

全域文件用途

以下其他wiki使用此文件:

元数据