File:Coq 8.5 stdlib proof.png
Appearance
Size of this preview: 800 × 500 pixels. Other resolutions: 320 × 200 pixels | 640 × 400 pixels | 1,024 × 640 pixels | 1,280 × 800 pixels.
Original file (1,280 × 800 pixels, file size: 94 KB, MIME type: image/png)
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 22:23, 16 February 2016 | 1,280 × 800 (94 KB) | Matěj Grabovský | {{Information | Description = {{en|A screenshot of the w:Coq proof assistant (version 8.5) during the process of proving a property of the comparison operation on the natural numbers. The left pane displays the editable script of the proof, while... |
File usage
The following page uses this file:
Global file usage
The following other wikis use this file:
- Usage on de.wikipedia.org
- Usage on pl.wikipedia.org
- Usage on ru.wikipedia.org
- Usage on uk.wikipedia.org
- Usage on www.wikidata.org