Ficheiro:Fstar-official-logo-2015.png

Imagem numa resolução maior(1 000 × 1 000 píxeis, tamanho: 23 kB, tipo MIME: image/png)

Descrição do ficheiro

Descrição
English: This is the official logo of F* as of 2015 (https://www.fstar-lang.org/)
Data
Origem was sent to me personally and I put it on the official F* website
Autor Nikhil Swamy
Permissão
(Reutilizar este ficheiro)
Evidence: The license statement can be found online at: https://github.com/FStarLang/FStar/blob/master/LICENSE

Licenciamento

Todos os direitos reservados © 2024 O autor

Licenciado com a Licença Apache, Versão 2.0 (a «Licença»); não pode usar este ficheiro exceto em conformidade com a Licença. Pode obter uma cópia da Licença em https://www.apache.org/licenses/LICENSE-2.0. A menos que seja requerido pela lei aplicável ou concordado por escrito, o programa informático distribuído com a Licença é distribuído «NO ESTADO ATUAL», SEM GARANTIAS OU CONDIÇÕES DE NENHUM TIPO, quer explícitas quer implícitas. Consulte a Licença para os termos específicos que estabelecem autorizações e limitações ao abrigo desta Licença.

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

Legendas

Adicione uma explicação de uma linha do que este ficheiro representa

Elementos retratados neste ficheiro

retrata

Histórico do ficheiro

Clique uma data e hora para ver o ficheiro tal como ele se encontrava nessa altura.

Data e horaMiniaturaDimensõesUtilizadorComentário
atual00h04min de 29 de novembro de 2015Miniatura da versão das 00h04min de 29 de novembro de 20151 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...

A seguinte página usa este ficheiro:

Utilização global do ficheiro

As seguintes wikis usam este ficheiro:

Metadados