File:Fstar-official-logo-2015.png
维基共享资源,媒体文件资料库
跳转到导航
跳转到搜索
![File:Fstar-official-logo-2015.png](https://upload.wikimedia.org/wikipedia/commons/thumb/b/b1/Fstar-official-logo-2015.png/600px-Fstar-official-logo-2015.png?20151129000455)
本预览的尺寸:600 × 600像素。 其他分辨率:240 × 240像素 | 480 × 480像素 | 1,000 × 1,000像素。
原始文件 (1,000 × 1,000像素,文件大小:23 KB,MIME类型:image/png)
文件信息
结构化数据
说明
说明
添加一行文字以描述该文件所表现的内容
摘要
[编辑]描述Fstar-official-logo-2015.png |
English: This is the official logo of F* as of 2015 (https://www.fstar-lang.org/) |
日期 | |
来源 | was sent to me personally and I put it on the official F* website |
作者 | Nikhil Swamy |
授权 (二次使用本文件) |
Evidence: The license statement can be found online at: https://github.com/FStarLang/FStar/blob/master/LICENSE |
许可协议
[编辑]版权所有 © 作者
以Apache License2.0版(以下简称“许可证”)授权;只有遵守该许可证方可使用此文件。您可从https://www.apache.org/licenses/LICENSE-2.0获得许可证的副本。除非相关法律要求或书面同意,以该许可证分发的软件以“原样”为基础,无任何形式的、明示或暗示的担保或条件。请参阅许可证正文以了解特定语言管辖的许可和限制。 | |
Apache License, Version 2.0Apache License 2.0http://www.apache.org/licenses/LICENSE-2.0truetrue |
文件历史
点击某个日期/时间查看对应时刻的文件。
日期/时间 | 缩略图 | 大小 | 用户 | 备注 | |
---|---|---|---|---|---|
当前 | 2015年11月29日 (日) 00:04 | ![]() | 1,000 × 1,000(23 KB) | Hritcu(留言 | 贡献) | {{subst:Upload marker added by en.wp UW}} {{Information |Description = {{en|This is the official logo of F* as of 2015 (https://www.fstar-lang.org/)}} |Source = was sent to me personally and I put it on the official F* website |Date = 2015 |Author = Ni... |
您不可以覆盖此文件。
文件用途
没有页面使用本文件。
全域文件用途
以下其他wiki使用此文件:
- en.wikipedia.org上的用途
- ja.wikipedia.org上的用途
- ko.wikipedia.org上的用途
- no.wikipedia.org上的用途
- pt.wikipedia.org上的用途
- ru.wikipedia.org上的用途
- uz.wikipedia.org上的用途
- www.wikidata.org上的用途
- zh.wikipedia.org上的用途
元数据
此文件含有额外信息,这些信息可能是创建或数字化该文件时使用的数码相机或扫描仪所添加的。如果文件已从其原始状态修改,某些详细信息可能无法完全反映修改后的文件。
文件修改日期时间 | 2015年10月20日 (二) 20:16 |
---|