search

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
137 stars 31 forks source link

update chicken.jpg #729

Closed Alizter closed 2 months ago

Alizter commented 2 months ago

Fix #695

This new image was created by me using DALLE which I now own to rights to.

https://help.openai.com/en/articles/6425277-can-i-sell-images-i-create-with-dall-e

I hereby decree that this image can be used for this project (coq-lsp) as an example, logo whatever and for mentioning this project externally.

ejgallego commented 2 months ago

Thanks a lot @Alizter !