Image: Coq logo

No higher resolution available.

Coq_logo.png ‎(66 × 100 pixels, file size: 4 KB, MIME type: image/png)

Description: The coq project logo
Title: Coq logo
Credit: Distribué avec le logiciel coq
Author: Non précisé dans le paquet logiciel
Usage Terms: GNU Lesser General Public License
License: LGPL
License Link: http://www.gnu.org/licenses/lgpl.html
Attribution Required?: Yes

Image usage

The following page links to this image:

All content from Kiddle encyclopedia articles (including the article images and facts) can be freely used under Attribution-ShareAlike license, unless stated otherwise.