Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle logo terms of use

Email Gateway (Feb 01 2021 at 19:27):

From: Stepan Holub <holub@karlin.mff.cuni.cz>
Hello,

are there any rules governing the (re)use of Isabelle logo? (I have in
particular in mind making it part of an avatar).

Stepan

Email Gateway (Feb 02 2021 at 19:55):

From: Makarius <makarius@sketis.net>
I would say that formally it is subject to the very liberal BSD-style license,
as everything else in the main Isabelle code base. In practice, nobody will
every ask any questions.

(Contributed add-ons have their own license schemes.)

Makarius

Last updated: Jan 04 2025 at 20:18 UTC