File:Fstar-official-logo-2015.png

出自Wikimedia Commons
跳至導覽 跳至搜尋

原始檔案 （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

授權條款

[編輯]
 Copyright © The author

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at https://www.apache.org/licenses/LICENSE-2.0. Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.

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

檔案歷史

點選日期/時間以檢視該時間的檔案版本。

日期/時間縮⁠圖尺寸使用者備⁠註
目前2015年11月29日 (日) 00:04於 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 使用了這個檔案：

詮釋資料

此檔案中包含其他資訊，這些資訊可能是由數位相機或掃描器在建立或數位化過程中所新增的。若檔案自原始狀態已被修改，一些詳細資料可能無法完整反映出已修改的檔案。

取自「https://commons.wikimedia.org/w/index.php?title=File:Fstar-official-logo-2015.png&oldid=626846446」