File:Thierry Coquand (cropped).jpg

Original file(654 × 839 pixels, file size: 96 KB, MIME type: image/jpeg)

This is a file from the Wikimedia Commons. Information from its description page there is shown below.
Commons is a freely licensed media file repository. You can help.

Summary

Description
English: Thierry Coquand, Trends in Constructive Mathematics, Frauenwörth, June 2006
Date
Source http://andrej.com/mathematicians/C/Coquand_Thierry.html
Author Andrej Bauer
Other versions
image extraction process
This file has been extracted from another file
: Thierry Coquand.jpg
original file

Licensing

w:en:Creative Commons
attribution share alike
This file is licensed under the Creative Commons Attribution-Share Alike 2.5 Slovenia license.
You are free:
  • to share – to copy, distribute and transmit the work
  • to remix – to adapt the work
Under the following conditions:
  • attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
  • share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

20 June 2006

0.01666666666666666666 second

7.40625 millimetre

image/jpeg

File history

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

Date/TimeThumbnailDimensionsUserComment
current01:04, 14 April 2023Thumbnail for version as of 01:04, 14 April 2023654 × 839 (96 KB)FMSkyFile:Thierry Coquand.jpg cropped 46 % horizontally, 48 % vertically using CropTool with lossless mode.
16:02, 2 July 2020Thumbnail for version as of 16:02, 2 July 2020390 × 592 (61 KB)Jochen BurghardtFile:Thierry Coquand.jpg cropped 68 % horizontally, 63 % vertically using CropTool with lossless mode.

Global file usage

The following other wikis use this file:

Metadata