Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle logo terms of use


view this post on Zulip 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

view this post on Zulip 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: Jul 15 2022 at 23:21 UTC