Component source and license records

This page locates pinned source, file and license records for TCSExam components. It is for users checking attribution or preparing a distribution.

Start with Licensing for project licenses and distribution conditions for resource-specific requirements. The third-party notices identify component authors and terms; original license texts are preserved in third-party/.

Find a component record

Read each row for the record covering that material. Records identify pinned versions and paths; use the entry matching the resource you are distributing.

Material	Records
Task code, data and reference materials	Per-task source and license inventory and resource distribution records
Runtime images	Image component inventory, system package materials and the image manifest
Lean packages and caches	Mathlib materials and additional system materials
ProofWidgets browser code	Frontend dependency materials, embedded components and Graphviz source materials
CPSolver and its dependencies	Source, build and replacement guide
Resource acquisition and local preparation	Resource guide, file manifest and data recipes

The per-task inventory records material at its pinned source revision. Same-source task variants retain those material-specific terms. For image sharing, collect the applicable notices and corresponding source for all included components, using their exact pinned versions.