File:Coq plus comm screenshot.jpg
Jump to navigation
Jump to search
Size of this preview: 800 × 596 pixels. Other resolutions: 320 × 238 pixels | 640 × 477 pixels | 823 × 613 pixels.
Original file (823 × 613 pixels, file size: 83 KB, MIME type: image/jpeg)
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:02, 19 January 2009 | 823 × 613 (83 KB) | commons>Vernanimalcula | {{Information |Description={{en|Snapshot of the definition of the Coq standard library constant plus_comm displayed in LGPL software CoqIDE}} |Source=Transferred from [http://en.wikipedia.org en.wikipedia]; transferred to Commons by [[User:Vernanimalcula] |
File usage
There are no pages that use this file.