File:Fstar-official-logo-2015.png

原始文件 (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获得许可证的副本。除非相关法律要求或书面同意,以该许可证分发的软件以“原样”为基础,无任何形式的、明示或暗示的担保或条件。请参阅许可证正文以了解特定语言管辖的许可和限制。

Apache License, Version 2.0Apache License 2.0http://www.apache.org/licenses/LICENSE-2.0truetrue

说明

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

此文件中描述的项目

描繪內容

文件历史

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

日期/时间缩⁠略⁠图大小用户备注
当前2015年11月29日 (日) 00:042015年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使用此文件:

元数据