Image:Matita screenshot.png
From Wikipedia, the free encyclopedia
Size of this preview: 712 × 600 pixels
Full resolution (1,162 × 979 pixels, file size: 180 KB, MIME type: image/png)
[edit] Summary
Screenshot of the Matita proof authoring interface. Took from http://matita.cs.unibo.it, first screenshot.
[edit] Licensing
This is a screenshot of copyrighted computer software, and the copyright for its contents is most likely held by the author(s) or the company that created the software. It is believed that the use of a limited number of web-resolution screenshots:
…qualifies as fair use under United States copyright law. Any other uses of this image, on Wikipedia or elsewhere, may be copyright infringement. See Wikipedia:Non-free content for more information. If this is a screenshot of free software (GPL, BSD, etc.) do not use this template! Use the license tag that correspond to the license instead, optionally alongside {{Free screenshot}} to categorize as a free screenshot.
|
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Dimensions | User | Comment | |
---|---|---|---|---|
current | 10:53, 26 September 2006 | 1,162×979 (180 KB) | Zacchiro (Talk | contribs) | (Screenshot of the Matita proof authoring interface. Took from http://matita.cs.unibo.it, first screenshot.) |
- Search for duplicate files
- Edit this file using an external application
See the setup instructions for more information.
File links
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):