Hi all!
I’m the host of the Type Theory Forall podcast and website (https://typetheoryforall.com), where I explore topics in type theory, PL, and formal methods through longform interviews and accessible content.
I recently started a small merch shop to help support the project and have begun selling mugs featuring the Rocq logo (with their blessing). I’d love to do something similar with the OCaml logo—just a simple mug design with the logo on it.
Before moving forward, I wanted to ask: is the OCaml logo considered open source, or otherwise freely reusable for something like this? If there are any guidelines or restrictions I should follow, I’d be happy to comply.
Thanks in advance!
—Pedro