维基百科

File:Agda proof.jpg

原始文件 （2,653 × 1,764像素，文件大小：555 KB，MIME类型：image/jpeg）

摘要

描述 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.
日期
来源 自己的作品
作者 Alexandre Buisse (Nattfodd)

许可协议

I, Nattfodd，本作品著作权人，特此采用以下许可协议发表本作品：
GNU head 已授权您依据自由软件基金会发行的无固定段落及封面封底文字（Invariant Sections, Front-Cover Texts, and Back-Cover Texts）的GNU自由文件许可协议1.2版或任意后续版本的条款，复制、传播和／或修改本文件。该协议的副本请见“GNU Free Documentation License”。
w:zh:知识共享
署名 相同方式共享 		本文件采用知识共享署名-相同方式共享 3.0 未本地化版本许可协议授权。
署名: I, Nattfodd
您可以自由地：
  • 共享 – 复制、发行并传播本作品
  • 修改 – 改编作品
惟须遵守下列条件：
  • 署名 – 您必须对作品进行署名，提供授权条款的链接，并说明是否对原始内容进行了更改。您可以用任何合理的方式来署名，但不得以任何方式表明许可人认可您或您的使用。
  • 相同方式共享 – 如果您再混合、转换或者基于本作品进行创作，您必须以与原先许可协议相同或相兼容的许可协议分发您贡献的作品。
本许可协议标签作为GFDL许可协议更新的组成部分被添加至本文件。
w:zh:知识共享
署名 相同方式共享
本文件采用知识共享署名-相同方式共享2.5 通用、2.0 通用和1.0 通用许可协议授权。
署名: I, Nattfodd
您可以自由地：
  • 共享 – 复制、发行并传播本作品
  • 修改 – 改编作品
惟须遵守下列条件：
  • 署名 – 您必须对作品进行署名，提供授权条款的链接，并说明是否对原始内容进行了更改。您可以用任何合理的方式来署名，但不得以任何方式表明许可人认可您或您的使用。
  • 相同方式共享 – 如果您再混合、转换或者基于本作品进行创作，您必须以与原先许可协议相同或相兼容的许可协议分发您贡献的作品。
您可以选择您需要的许可协议。

说明

添加一行文字以描述该文件所表现的内容

此文件中描述的项目

描绘内容

曝光时间

0.01 秒

媒体类型

image/jpeg

校验和

901eccd8dba3b0571635d2eba84dafa3482a998e

断定方法：​SHA-1

数据大小

568,619 字节

高度

1,764 像素

宽度

2,653 像素

文件历史

点击某个日期/时间查看对应时刻的文件。

日期/时间缩⁠略⁠图大小用户备注
当前2007年6月18日 (一) 16:412007年6月18日 (一) 16:41版本的缩略图2,653 × 1,764（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

以下页面使用本文件：

全域文件用途

以下其他wiki使用此文件：

元数据

此文件含有额外信息，这些信息可能是创建或数字化该文件时使用的数码相机或扫描仪所添加的。如果文件已从其原始状态修改，某些详细信息可能无法完全反映修改后的文件。

检索自“https://zh.wikipedia.org/wiki/File:Agda_proof.jpg”