Taiyak
Copyright (c) 2026, gotoken

Everything in this repository is licensed under the BSD 2-Clause License
(see LICENSE), except as noted below.

* demo/lean/ — Lean files from the author's experiment repository
  gotoken/cruby-formalized-trial (commit 74e11c6), same license.
  demo/lean/CrubyRange/Impl.lean and Fixed.lean quote short excerpts of
  CRuby's range.c, Copyright (C) 1993-2007 Yukihiro Matsumoto, and of the
  patch merged as ruby/ruby#19824. CRuby may be redistributed under the
  2-clause BSDL or the Ruby License; the excerpts are used under the BSDL,
  whose text and copyright notice are in demo/CRuby-BSDL.txt.

* vendor/katex/ — KaTeX 0.16.9, Copyright (c) 2013-2020 Khan Academy and
  other contributors, MIT License (vendor/katex/LICENSE).

* vendor/jszip/ — JSZip 3.10.1, Copyright (c) 2009-2016 Stuart Knightley,
  David Duponchel, Franz Buchinger, António Afonso, used under the MIT License
  (dual-licensed MIT or GPLv3; see vendor/jszip/LICENSE.markdown).

The built page (public/index.html, dist/claude-artifact.html) embeds the demo
files; the page links to these license texts under public/licenses/.