File:Fstar-official-logo-2015.png
本预览的尺寸：600 × 600像素。 其他分辨率：240 × 240像素 | 480 × 480像素 | 1,000 × 1,000像素。
原始文件 （1,000 × 1,000像素，文件大小：23 KB，MIME类型：image/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获得许可证的副本。除非相关法律要求或书面同意，以该许可证分发的软件以“原样”为基础，无任何形式的、明示或暗示的担保或条件。请参阅许可证正文以了解特定语言管辖的许可和限制。 |
文件历史
点击某个日期/时间查看对应时刻的文件。
| 日期/时间 | 缩略图 | 大小 | 用户 | 备注 | |
|---|---|---|---|---|---|
| 当前 | 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上的用途
