ファイル:Fstar-official-logo-2015.png

ページのコンテンツが他言語でサポートされていません。

元のファイル ‎(1,000 × 1,000 ピクセル、ファイルサイズ: 23キロバイト、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ライセンスバージョン2.0（以下、ライセンスと略す）で利用可能。ライセンスの規約を守らないとこのファイルを使うべきではありません。https://www.apache.org/licenses/LICENSE-2.0 でライセンスのコピーを入手できます。適用法で義務付けられているか、書面で合意されていない限り、ライセンスに基づいて配布されるソフトウェアは、明示または黙示を問わず、いかなる種類の保証または条件もなしに、そのままの状態で配布されます。ライセンスに基づく特定の言語に対する許可と制限については、ライセンスを参照してください。

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

キャプション

このファイルの内容を1行で記述してください

このファイルに描写されている項目

題材

ファイルの履歴

過去の版のファイルを表示するには、その版の日時をクリックしてください。

日付と時刻サムネイル寸法利用者コメント
現在の版2015年11月29日 (日) 00:042015年11月29日 (日) 00:04時点における版のサムネイル1,000 × 1,000 (23キロバイト)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...

以下のページがこのファイルを使用しています:

グローバルなファイル使用状況

以下に挙げる他のウィキがこの画像を使っています:

メタデータ

このファイルには、追加情報があります (おそらく、作成やデジタル化する際に使用したデジタルカメラやスキャナーが追加したものです)。

このファイルが元の状態から変更されている場合、修正されたファイルを完全に反映していない項目がある場合があります。

「https://ja.wikipedia.org/wiki/ファイル:Fstar-official-logo-2015.png」から取得