Archivo:Agda proof.jpg
Tamaño de esta previsualización: 800 × 532 píxeles. Otras resoluciones: 320 × 213 píxeles · 640 × 426 píxeles · 1024 × 681 píxeles · 1280 × 851 píxeles · 2653 × 1764 píxeles.
Ver la imagen en su resolución original (2653 × 1764 píxeles; tamaño de archivo: 555 kB; tipo MIME: image/jpeg)
Resumen
| Descripción | Agda 2 is a proof assistant developed at the Chalmers institute of technology. This is a shot of an ongoing proof related to category theory. It is taken on the LCD screen of a laptop. |
| Fecha | |
| Fuente | Trabajo propio |
| Autor | Alexandre Buisse (Nattfodd) |
Licencia
I, Nattfodd, titular de los derechos de autor de esta obra, la publica en los términos de las siguientes licencias:
|
Se autoriza la copia, distribución y modificación de este documento bajo los términos de la licencia de documentación libre GNU, versión 1.2 o cualquier otra que posteriormente publique la Fundación para el Software Libre; sin secciones invariables, textos de portada, ni textos de contraportada. Se incluye una copia de la dicha licencia en la sección titulada Licencia de Documentación Libre GNU. |
  
|
Este archivo se encuentra bajo la licencia Creative Commons Genérica de Atribución/Compartir-Igual 3.0. | |
| Atribución: I, Nattfodd | ||
| ||
| Esta etiqueta de licencia fue agregada a este archivo como parte de la actualización de la licencia GFDL. |
Este archivo se encuentra bajo la licencia Creative Commons de Atribución/Compartir-Igual 2.5 Genérica, 2.0 Genérica y 1.0 Genérica.
Atribución: I, Nattfodd
- Eres libre:
- de compartir – de copiar, distribuir y transmitir el trabajo
- de remezclar – de adaptar el trabajo
- Bajo las siguientes condiciones:
- atribución – Debes otorgar el crédito correspondiente, proporcionar un enlace a la licencia e indicar si realizaste algún cambio. Puedes hacerlo de cualquier manera razonable pero no de manera que sugiera que el licenciante te respalda a ti o al uso que hagas del trabajo.
- compartir igual – En caso de mezclar, transformar o modificar este trabajo, deberás distribuir el trabajo resultante bajo la misma licencia o una compatible como el original.
Puedes usar la licencia que prefieras.
Historial del archivo
Haz clic sobre una fecha y hora para ver el archivo tal como apareció en ese momento.
| Fecha y hora | Miniatura | Dimensiones | Usuario | Comentario | |
|---|---|---|---|---|---|
| actual | 16:41 18 jun 2007 | | 2653 × 1764 (555 kB) | Nattfodd | {{Information |Description=Agda 2 is a proof assistant developed at the Chalmers institute of technology. This is a shot of an ongoing proof related to category theory. It is taken on the LCD screen of a laptop. |Source=self-made (http://aperturefirst.eff |
Usos del archivo
Las siguientes páginas usan este archivo:
Uso global del archivo
Las wikis siguientes utilizan este archivo:
- Uso en el.wikipedia.org
- Uso en en.wikipedia.org
- Uso en eu.wikipedia.org
- Uso en fa.wikipedia.org
- Uso en ja.wikipedia.org
- Uso en pl.wikipedia.org
- Uso en pt.wikipedia.org
- Uso en tr.wikipedia.org
- Uso en uk.wikipedia.org
- Uso en ur.wikipedia.org
- Uso en www.wikidata.org
- Uso en zh.wikipedia.org
