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

授權條款

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 使用了這個檔案:

詮釋資料