Original file (1,016 × 735 pixels, file size: 74 KB, MIME type: image/png)
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) | 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= |
The following other wikis use this file:
Original file (1,016 × 735 pixels, file size: 74 KB, MIME type: image/png)
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) | 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= |
The following other wikis use this file: