Creative Commons Attribution 4.0 International

The authored content listed below is licensed under the Creative Commons
Attribution 4.0 International License (CC-BY-4.0).

Covered paths in this repository:

- `docs/`
- `formalization/`
- `tvl_book/website_content/`
- `website/client/public/docs/`
- `website/client/src/book/**/*.mdx` (book prose)
- `website/client/public/book/media/**` (book figures and rendered animations)
- `website/dist/public/book/tvl-book.pdf` (the built book PDF; not tracked, listed so the licence travels with the file)

You are free to share and adapt this material for any purpose, including
commercial use, provided that you give appropriate credit, provide a link to
the license, and indicate whether changes were made.

License URL:

- https://creativecommons.org/licenses/by/4.0/

Unless a file or subdirectory states otherwise, materials outside the covered
paths above follow the repository's default Apache-2.0 license in `LICENSE`.
