组件源码与许可记录

中文译文供参考，许可条款以原文为准。

本页给出 TCSExam 组件的固定来源、文件及许可记录位置。 供检查署名或准备分发的用户阅读。

首先查看许可中的项目许可，以及分发条件中的各资源要求。第三方声明列出组件作者和条款；原始许可文本保存在 third-party/ 中。

查找组件记录

读法说明：每行列出相应材料的记录。记录标明固定版本和路径；使用与所分发资源对应的条目。

材料	记录
任务代码、数据和参考材料	逐任务来源与许可清单及资源分发记录
运行镜像	镜像组件清单、系统包材料及镜像清单
Lean 包和缓存	Mathlib 材料及附加系统材料
ProofWidgets 浏览器代码	前端依赖材料、内嵌组件及 Graphviz 源码材料
CPSolver 及其依赖	源码、构建与替换指南
资源获取和本地准备	资源指南、文件清单及数据配方

逐任务清单按照固定源码版本记录材料。同源任务变体保留各材料的具体条款。共享镜像时，应按所有所含组件的精确固定版本，收集适用声明和对应源码。