Archivo:Dafny logo.jpg

Dafny_logo.jpg (690 × 573 píxeles; tamaño de archivo: 67 kB; tipo MIME: image/jpeg)

Resumen

Descripción
English: Dafny logo
Fecha
Fuente https://github.com/dafny-lang/dafny/blob/master/Util/Banner/dafny-logo.jpg
Autor https://github.com/cpitclaudel

Licencia

Este archivo está disponible bajo la Licencia Expat, a veces conocido como la Licencia MIT:

Copyright © Microsoft Corporation

Se concede permiso, de forma gratuita, a cualquier persona que obtenga una copia de este software y archivos de documentación asociados (el "Software"), para utilizar el Software sin restricciones, incluyendo, sin limitación, los derechos para usar, copiar, modificar, fusionar , publicar, distribuir, sublicenciar y / o vender copias del Software, y para permitir que las personas a quienes se proporcione el Software para hacerlo, con sujeción a las siguientes condiciones:

El aviso de copyright anterior y este aviso de permiso se incluirán en todas las copias o partes sustanciales del Software.

El software se proporciona "tal cual", sin garantía de ningún tipo, expresa o implícita, incluyendo pero no limitado a, las garantías de comerciabilidad, adecuación para un propósito particular y no infracción. En ningún caso los autores o los derechos de autor titulares será responsable de cualquier reclamación, daño u otra responsabilidad, ya sea en una acción de contrato, agravio o de otra manera, que surge de, fuera de o en conexión con el Software o el uso u otras operaciones en el Software.


Para cargar: MIT Licencia con diversas versiones, es posible que desee especificar la licencia de forma más precisa. Hacer clic en {{MIT}} para ver los detalles.

Leyendas

Añade una explicación corta acerca de lo que representa este archivo
Dafny logo

Elementos representados en este archivo

representa a

image/jpeg

bc2639f492779bf1a75cc3a3ad4f83114d719b78

573 píxel

690 píxel

Historial del archivo

Haz clic sobre una fecha y hora para ver el archivo tal como apareció en ese momento.

Fecha y horaMiniaturaDimensionesUsuarioComentario
actual12:50 24 dic 2021Miniatura de la versión del 12:50 24 dic 2021690 × 573 (67 kB)GhettoblasterUploaded a work by https://github.com/cpitclaudel from https://github.com/dafny-lang/dafny/blob/master/Util/Banner/dafny-logo.jpg with UploadWizard

La siguiente página usa este archivo:

Uso global del archivo

Las wikis siguientes utilizan este archivo: