v0.1.1：补充许可证的发布版本

本版本在 v0.1.0 基础上补充项目许可证说明。

• Lean4 源代码采用 MIT License；
• 论文文本、图示与 PDF 采用 CC BY 4.0；
• README 中补充许可证信息。

项目内容与主要形式化结论保持不变。