Read
AUTHORPÆDIA is hosted by Authorpædia Foundation, Inc. a U.S. non-profit organization.
Svetlana Velmar-Janković
Size of this PNG preview of this SVG file: 512 × 93 pixels. Other resolutions: 320 × 58 pixels | 640 × 116 pixels | 1,024 × 186 pixels | 1,280 × 233 pixels | 2,560 × 465 pixels.
Original file (SVG file, nominally 512 × 93 pixels, file size: 4 KB)
Summary
| Description |
English: Logo of en:Rocq (software) |
| Date | 20:00, 12 March 2025 (UTC) (upload) |
| Source | https://rocq-prover.org/logo |
| Author | Rocq |
Licensing
|
This is free and unencumbered software released into the public domain. |
| Anyone is free to copy, modify, publish, use, compile, sell, or distribute this software, either in source code form or as a compiled binary, for any purpose, commercial or non-commercial, and by any means.
In jurisdictions that recognize copyright laws, the author or authors of this software dedicate any and all copyright interest in the software to the public domain. For more information, please refer to https://unlicense.org
|
|
This work includes material that may be protected as a trademark in some jurisdictions. If you want to use it, you have to ensure that you have the legal right to do so and that you do not infringe any trademark rights. See our general disclaimer. This tag does not indicate the copyright status of the attached work. A normal copyright tag is still required. See Commons:Licensing. |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 20:00, 12 March 2025 | | 512 × 93 (4 KB) | Nclm | =={{int:filedesc}}== {{Information | description = {{en|1=Logo of en:Rocq (software)}} | date = ~~~~~ (upload) | source = https://rocq-prover.org/logo | author = Rocq | permission = }} =={{int:license-header}}== {{Unlicense}}{{Trademarked}} |
File usage
The following page uses this file:
Global file usage
The following other wikis use this file:
- Usage on fr.wikipedia.org
- Usage on he.wikipedia.org
- Usage on ru.wikipedia.org
- Usage on www.wikidata.org
