File:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png

Original file ‎(1,016 × 735 pixels, file size: 74 KB, MIME type: image/png)

This file is from a shared repository and may be used by other projects. Please see the file description page for further information.

File history

Click on a date/time to view the file as it appeared at that time.

	Date/Time	Thumbnail	Dimensions	User	Comment
current	21:43, 9 February 2010		1,016 × 735 (74 KB)	commons>Roconnor	{{Information \|Description={{en\|1=A screenshot of the Coq proof assistant in the middle of a proof of the decidability of equality of the natural numbers.}} \|Source={{own}} \|Author=Roconnor \|Date=2009-08-19 \|Permission= \|other_versions=

There are no pages that use this file.