Image: Coq logo
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.