TorchLean 升级：可在 Lean 里编写带形状检查与证明的张量程序

TorchLean 作者 Robert Joseph George 发布更新，项目从机器学习验证工具扩展为 Lean 内的通用张量编程与执行框架。